|
||||||||||
| 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 | Implementations of pseudo boolean solvers |
| org.sat4j.reader | Some utility classes to read problems from plain text files. |
| org.sat4j.sat | Implementation of a sat4j Launcher. |
| org.sat4j.sat.visu | Implementation of different visualization for the remote control. |
| org.sat4j.specs | Those classes are intended for users dealing with SAT solvers as black boxes. |
| org.sat4j.tools | Tools to be used on top of an ISolver. |
| org.sat4j.tools.encoding | Implementation of different encodings. |
| 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 constraints. |
| org.sat4j.minisat.constraints.cnf | Implementations of clausal constraints. |
| 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 | Implementation of data structures for pseudo boolean constraints. |
| org.sat4j.pb.constraints.pb | Implementations of pseudo boolean constraints. |
| org.sat4j.pb.core | Implementations of pseudo boolean solvers |
| org.sat4j.pb.orders | Various heuristics for the next variable to branch on. |
| org.sat4j.pb.reader | Readers for opb instances. |
| org.sat4j.pb.tools | Implementation of different tools for pseudo boolean solvers |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||