Package org.sat4j.core

Implementation of the data structures available in org.sat4j.specs.

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.

Package org.sat4j.core Description

Implementation of the data structures available in org.sat4j.specs. Those classe were previously located in org.sat4j.minisat.core.