Package net.sf.tweety.logics.fol.test
Class TPTPTest
- java.lang.Object
-
- net.sf.tweety.logics.fol.test.TPTPTest
-
public class TPTPTest extends java.lang.Object
JUnitTest to test TPTP printer and EProver implementation- Author:
- Nils Geilen
-
-
Constructor Summary
Constructors Constructor Description TPTPTest()
-