Package net.sf.tweety.logics.fol.test
Class Prover9Test
- java.lang.Object
-
- net.sf.tweety.logics.fol.test.Prover9Test
-
public class Prover9Test extends java.lang.Object
JUnitTest to test Prover9- Author:
- Nils Geilen
-
-
Constructor Summary
Constructors Constructor Description Prover9Test()
-