public void QuantificationConstantFoldingSatisfiableTest3() { var p = new Problem("QuantificationConstantFoldingTest"); p.AtLeast(3, true, false, "a", "b"); for (int i = 0; i < 100; i++) { var s = p.Solve(); Assert.IsTrue(s["a"] && s["b"]); } }
public void QuantificationConstantFoldingTooFewTest() { var p = new Problem("QuantificationConstantFoldingTest"); p.AtLeast(3, false, false, "a", "b"); }