Uses of Package
org.sat4j.reader

Packages that use org.sat4j.reader

Package	Description
org.sat4j	Contains 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

Class and Description
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.

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

Class and Description
DimacsReader Very simple Dimacs file parser.
EfficientScanner Efficient scanner based on the LecteurDimacs class written by Frederic Laihem.
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.