| 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.minisat |
Implementation of the MiniSAT specification in Java.
|
| org.sat4j.opt |
Built-in optimization framework.
|
| org.sat4j.reader |
Some utility classes to read problems from plain text files.
|
| 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.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.