tuffy.test

Classes  AtomTest ClauseTest ConfigTest GAtomTest GClauseTest GroundingTest InferenceTest LearnerTest LiteralTest ParsingLoadingTest PredicateTest TermTest TupleTest TypeTest