|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| ASolverFactory | A solver factory is responsible to provide prebuilt solvers to the end user. |
| DefaultComparator<A extends Comparable<A>> | |
| Vec<T> | Simple but efficient vector implementation, based on the vector implementation available in MiniSAT. |
| VecInt | A vector specific for primitive integers, widely used in the solver. |
Implementation of the data structures available in org.sat4j.specs. Those classe were previously located in org.sat4j.minisat.core.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||