Package org.tweetyproject.sat.test
Class MinisatTest
java.lang.Object
org.tweetyproject.sat.test.MinisatTest
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
MinisatTest
public MinisatTest()
-
-
Method Details
-
setup
public void setup() -
tearDown
public void tearDown() -
taut1
public void taut1() -
unsat1
public void unsat1() -
sat1
public void sat1()
-