Class SPASSTest

java.lang.Object
org.tweetyproject.logics.ml.SPASSTest

public class SPASSTest extends Object
JUnit Test class for SPASS Prover for modal formulas.
Author:
Anna Gessler