Package org.tweetyproject.logics.fol.test


package org.tweetyproject.logics.fol.test
  • Class Summary
    Class
    Description
    JUnit Test class for FolParser.
    JUnitTest to test Prover9
    JUnitTest to test SPASS (test cases from TPTPTest)
    JUnitTest to test TPTP printer and EProver implementation