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.csp	Classes needed for CSP to SAT translation.
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.maxsat.reader	Some utility classes to read problems from plain text files.
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.reader	Readers for opb instances.
org.sat4j.reader	Some utility classes to read problems from plain text files.
org.sat4j.sat	Implementation of a sat4j Launcher.

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.csp

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

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.maxsat.reader

Class and Description
DimacsReader Very simple Dimacs file parser.
InstanceReader An reader having the responsability to choose the right reader according to the input.
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.pb

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.pb.reader

Class and Description
InstanceReader An reader having the responsability to choose the right reader according to the input.
JSONReader Simple JSON reader for clauses and cardinality constraints.
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
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.
EfficientScanner Efficient scanner based on the LecteurDimacs class written by Frederic Laihem.
InstanceReader An reader having the responsability to choose the right reader according to the input.
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.sat

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.