Package org.sat4j.csp

Classes needed for CSP to SAT translation.

See:
          Description

Interface Summary
Clausifiable  
Domain  
Encoding  
Evaluable  
 

Class Summary
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.



Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.