|
||||||||||
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 |