The Choco Set Constraints seem to be erroneous. For the following problem, the solver doesn't find any solution.
Problem pb = new Problem();
SetVar s1 = pb.makeSetVar("s1", 1, 10);
SetVar x = pb.makeSetVar("x", 1, 10);
SetVar y = pb.makeSetVar("y", 1, 10);
pb.post(pb.setUnion(x, y, s1));
pb.post(pb.setDisjoint(x, y));
pb.post(pb.geqCard(x, 1));
pb.propagate();...
2008-03-28 09:19:25 UTC in choco
