Package org.sat4j.reader

Class Summary
CSPExtSupportReader  
CSPInstanceReader An reader having the responsability to choose the right reader according to the input.
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.
CSPSupportReader  
XMLCSPReader  
 



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