MiniZinc «ne peut pas déterminer les limites» - bornes, minizinc

En écrivant ma première application MiniZinc non-triviale, je continue à courir dans l'erreur "ne peut pas déterminer les limites". Comment règle-t-on généralement cette erreur?

Réponses:

En général, «impossible de déterminer les bornes» signifie que le solveur ne peut pas déterminer les limites (le domaine) d'une variable de décision.

Utiliser "var int" comme domaine de décisionvariable doit être évitée si possible, car elle ralentira probablement le processus de résolution. Il arrive parfois que le solutionneur puisse déterminer le domaine, par exemple. dans les cas aime

% ...
var int: z = sum(x);

quand "x" ont déclaré des domaines. Mais, en règle générale, essayez de définir les domaines.