-
Bonjour,
Y'a-t-il une contrainte temporelle? Parce que sinon, je pense que la contrainte GlobalCardinalité doit répondre à ta question.
Tu considéres alors que les variables sont les personnes, et les valeurs sont les salles, tu peux poser tes contraintes de salle avec des EQ et NEQ et ta contrainte de capacité avec GCC.
Hope it helps,
Charles.
2009-11-10 15:30:46 UTC in choco
-
cprudhom committed revision 1317 to the choco SVN repository, changing 26 files.
2009-11-10 14:07:09 UTC in choco
-
a constraint must have a propagator which is a listener...
2009-11-10 10:19:06 UTC in choco
-
cprudhom committed revision 1314 to the choco SVN repository, changing 2 files.
2009-11-09 17:30:57 UTC in choco
-
cprudhom committed revision 1313 to the choco SVN repository, changing 5 files.
2009-11-09 16:51:36 UTC in choco
-
cprudhom committed revision 1312 to the choco SVN repository, changing 23 files.
2009-11-09 14:36:05 UTC in choco
-
done on trunk.
2009-11-09 14:25:45 UTC in choco
-
Done, name are 'TMP_X' where X is a unique long starting from 0.
2009-11-09 14:23:40 UTC in choco
-
Variables' name from decomposition are not really clear (same name when same type of constraint)...
2009-11-09 14:20:43 UTC in choco
-
Entailment on NotEqualXYC is not correct when there are bounded domain variables.
2009-11-09 14:18:35 UTC in choco