Package org.sat4j.csp.constraints

Classes needed for CSP to SAT translation.

See:
          Description

Interface Summary
Relation A relation is a formula given in extension.
 

Class Summary
AllDiff  
BessiereSupports  
GentSupports  
Nogoods  
Supports  
WalshSupports  
 

Package org.sat4j.csp.constraints 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 © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.