Package | Description |
---|---|
org.sat4j.pb.tools | |
org.sat4j.tools.xplain |
Class and Description |
---|
Explainer |
Xplain
Explanation framework for SAT4J.
|
Class and Description |
---|
Explainer |
MinimizationStrategy
Minimization technique used to reduce an unsatisfiable set of constraints
into a minimally unsatisfiable subformula (MUS).
|