@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());
}