org.sat4j.minisat.core
Interfaces 
AssertingClauseGenerator
Constr
DataStructureFactory
ILits
IOrder
IPhaseSelectionStrategy
Learner
LearningStrategy
Propagatable
RestartStrategy
Undoable
UnitPropagationListener
VarActivityListener
Classes 
Counter
DotSearchListener
Heap
IntQueue
Pair
SearchParams
Solver
SolverStats
TextOutputListener