SAT4J 2.3.1 API

User level: stable public API

org.sat4j	Contains a command line launcher for the SAT solvers.
org.sat4j.core	Implementation of the data structures available in org.sat4j.specs.
org.sat4j.csp	Classes needed for CSP to SAT translation.
org.sat4j.csp.constraints	Classes needed for CSP to SAT translation.
org.sat4j.csp.encodings
org.sat4j.csp.main
org.sat4j.csp.xml
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.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.pb
org.sat4j.reader	Some utility classes to read problems from plain text files.
org.sat4j.sat
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.
org.sat4j.tools	Tools to be used on top of an ISolver.
org.sat4j.tools.encoding
org.sat4j.tools.xplain	Implementation of an explanation engine in case of unsatisfiability.

Developer level: internal API, subject to change

org.sat4j.minisat.constraints	Implementations of various constraints for MiniSAT.
org.sat4j.minisat.constraints.card	Implementations of cardinality contraints.
org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.
org.sat4j.minisat.orders	Various heuristics to select the next variable to branch on.
org.sat4j.minisat.restarts	Various restart strategies.
org.sat4j.pb.constraints
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.pb.core
org.sat4j.pb.orders
org.sat4j.pb.reader
org.sat4j.pb.tools