A utility plugin for KernelHaven.
Utilities for Boolean formulas, including CNF converters and a SAT solvers (based on Sat4j v2.3.4 and CryptoMiniSat 5.6.5).
Place CnfUtils.jar in the plugins folder of KernelHaven.
This plugin has no additional dependencies other than KernelHaven.
This plugin is licensed under the Apache License 2.0.
The following libraries are used (and bundled in lib/ or res/) by this plugin:
| Library | Version | License |
|---|---|---|
| Sat4j | 2.3.5.v20130525 | EPL or LGPL |
| CryptoMiniSat | 5.6.5 | MIT License |
| jbool_expressions | 1.21 | Apache License 2.0 |
| ANTLR v3 Runtime | 3.5.2 | BSD License |