Class PicosatTest

java.lang.Object
org.tweetyproject.sat.test.PicosatTest

public class PicosatTest extends Object
  • Constructor Details

    • PicosatTest

      public PicosatTest()
  • Method Details

    • setup

      public void setup()
    • tearDown

      public void tearDown()
    • taut1

      public void taut1()
    • unsat1

      public void unsat1()
    • sat1

      public void sat1()