Class SPASSTest

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

public class SPASSTest extends Object
JUnitTest to test SPASS (test cases from TPTPTest)
Author:
Nils Geilen, Anna Gessler
  • Constructor Details

    • SPASSTest

      public SPASSTest()
  • Method Details