Class TPTPTest
- java.lang.Object
-
- org.tweetyproject.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()
-