@Test public void testIsSatisfiable_empty() throws ContradictionException, TimeoutException { Formula instance = Formula.newInstanceforSAT(new Formula()); assertFalse(instance.isSatisfiable()); }
@Test public void testIsSatisfiable() throws ContradictionException, TimeoutException { Formula instance = Formula.newInstanceforSAT(new Var("a").and(new Var("b"))); assertTrue(instance.isSatisfiable()); }