Uses of Package
org.sat4j.reader

Packages that use org.sat4j.reader

org.sat4j	Contain a command line launcher for the SAT solvers.
org.sat4j.reader	Some utility classes to read problems from plain text files.

Classes in org.sat4j.reader used by org.sat4j

Reader
A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation.

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.

DimacsReader
Very simple Dimacs file parser.

OPBReader2005
"Official" reader for the Pseudo Boolean evaluation 2005.

OPBReader2006
Reader complying to the PB06 input format.

ParseFormatException
Exception launched when there is a problem during parsing.

Reader
A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation.