org.sat4j.minisat.core
Interfaces 
AssertingClauseGenerator
Constr
DataStructureFactory
ILits
ILits2
ILits23
IOrder
Learner
LearningStrategy
Propagatable
SearchListener
Undoable
UnitPropagationListener
VarActivityListener
Classes 
Handle
Heap
IntQueue
SearchParams
Solver
SolverStats
TextOutputListener
Enums 
Lbool