Package org.sat4j.csp

Classes needed for CSP to SAT translation.

See: Description

Interface Summary

Interface	Description
Clausifiable
Domain
Encoding
Evaluable

Class Summary

Class	Description
Constant
CSPLauncher
EnumeratedDomain
Predicate	A predicate is a formula given in intension.
RangeDomain
SingletonDomain	Represents a domain with a single value.
SolverFactory	User friendly access to pre-constructed solvers.
Var

Package org.sat4j.csp Description

Classes needed for CSP to SAT translation.

Those utility classes are used in the CSP readers to translate CSP problems into SAT. They are basic, subject to change, and not considered part of the public API of SAT4J.