Class | Description |
---|---|
BitVectorConstraint |
BitVectorConstraint is generic interface of a bit-vector constraint. |
BitVectorFormulaBuilder |
BitVectorFormulaBuilder represents an abstract formula builder. |
BitVectorFormulaBuilderSimple |
BitVectorFormulaBuilderSimple implements a simple formula builder. |
BitVectorFormulaProblemSat4j |
BitVectorFormulaProblemSat4j represents a bit-vector problem. |
BitVectorFormulaSolverSat4j |
BitVectorFormulaSolverSat4j is a SAT-based bit-vector constraint solver. |
Sat4jFormula |
Sat4jFormula represents a SAT4J formula, which is a set of clauses. |
Sat4jFormula.Builder |
Sat4jFormula.Builder is a Sat4jFormula builder. |
Sat4jUtils |
Sat4jUtils contains a number of utilities to deal with SAT4J. |
Enum | Description |
---|---|
BitVectorConstraint.Kind | |
BitVectorVariableInitializer |
BitVectorVariableInitializer defines strategies for initializing bit-vector variables. |