aima.test.logictest.prop
Classes 
PropTests