Class TPTPTest

java.lang.Object
org.tweetyproject.logics.fol.test.TPTPTest

public class TPTPTest extends Object
JUnitTest to test TPTP printer and EProver implementation
Author:
Nils Geilen
  • Constructor Details

    • TPTPTest

      public TPTPTest()
  • Method Details