Package org.sat4j.minisat.core

Implementation of the MiniSAT solver skeleton.

See:
          Description

Interface Summary
AssertingClauseGenerator An assertingClauseGenerator is responsible for the creation of an asserting clause during conflict analysis.
Constr  
DataStructureFactory  
ILits  
ILits2  
ILits23  
IOrder  
Learner  
LearningStrategy  
Propagatable This interface is to be implemented by the classes wanted to be notified of the falsification of a literal.
SearchListener  
Undoable  
UnitPropagationListener  
VarActivityListener  
 

Class Summary
Handle<T> This class simply holds a reference to a object.
Heap  
IntQueue  
SearchParams  
Solver  
SolverStats  
TextOutputListener  
 

Enum Summary
Lbool  
 

Package org.sat4j.minisat.core Description

Implementation of the MiniSAT solver skeleton. This is the place to go for looking more deeply into a SAT solver. All of the abstractions needed to customize a solver are defined here.