aima.test.logictest.prop.visitors
Classes 
CNFClauseGathererTest
CNFTransformerTest
SymbolClassifierTest
SymbolCollectorTest