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