SAT4J csp 2.2.0 API

User level: stable public API
org.sat4j.csp Classes needed for CSP to SAT translation.
org.sat4j.csp.constraints Classes needed for CSP to SAT translation.
org.sat4j.csp.encodings  
org.sat4j.reader  

 



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