Package org.sat4j.reader

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

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