|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |