aima.test.logictest.prop
Classes
PropTests