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.minisat.orders	Various heuristics to select the next variable to branch on.
org.sat4j.opt	Optimization extensions.
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.minisat.orders

ObjectiveFunction
Abstraction for an Objective Function for Pseudo Boolean Optimization.

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

ObjectiveFunction
Abstraction for an Objective Function for Pseudo Boolean Optimization.

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.

ObjectiveFunction
Abstraction for an Objective Function for Pseudo Boolean Optimization.

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

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.