Package org.tweetyproject.logics.pl.test
Class SimpleDpllSolverTest
java.lang.Object
org.tweetyproject.logics.pl.test.SimpleDpllSolverTest
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
SimpleDpllSolverTest
public SimpleDpllSolverTest()
-
-
Method Details
-
SolverTest
-