| Class | Description |
|---|---|
| BooleanConstraint |
Class for representing disjunctive Boolean clauses, e.g., (x1 v x2 v ~x3).
|
| BooleanDomain |
Represents domains for
BooleanVariables, namely the set {T,F}. |
| BooleanSatisfiabilitySolver |
The
BooleanSatisfiabilitySolver provides a means to reason upon Boolean Satisfiability
constraint problems. |
| BooleanVariable |
Class for representing Boolean variables (whose domain is {T,F}) for use with the
BooleanSatisfiabilitySolver and BooleanConstraints. |