| Package | Description |
|---|---|
| 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. |
| Package | Description |
|---|---|
| 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
|
| org.sat4j.tools.encoding |
Implementation of different encodings.
|
| org.sat4j.tools.xplain |
Implementation of an explanation engine in case of unsatisfiability.
|
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.