Uses of Package
org.sat4j.reader

Packages that use org.sat4j.reader
org.sat4j.reader   
 

Classes in org.sat4j.reader used by org.sat4j.reader
CSPReader
          This class is a CSP to SAT translator that is able to read a CSP problem using the First CSP solver competition input format and that translates it into clausal and cardinality (equality) constraints.
 



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