aima.test.logictest.prop.algorithms
Classes 
DPLLTest
KnowledgeBaseTest
ModelTest
PLFCEntailsTest
PLResolutionTest
TTEntailsTest
WalkSATTest