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");
}
