Class Prover9Test

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

public class Prover9Test extends Object
JUnitTest to test Prover9
Author:
Nils Geilen
  • Constructor Details

    • Prover9Test

      public Prover9Test()
  • Method Details