aima.logic.propositional.algorithms
Classes 
DPLL
KnowledgeBase
Model
PLFCEntails
PLResolution
TTEntails
WalkSAT