Foire aux questions

Note : Après avoir supprimé des variables temporaires inutiles, j'ai une boucle infinie.
Lors de la suppression d'une variable temporaire _X il faut fixer le domaine à une seule valeur (zéro arbitrairement).

Note : Dans la stratégie AlwaysReduce à quel moment réduire ?
Une stratégie a une méthode qui est appelée après chaque essai afin de vérifier l'ensemble des contraintes. La stratégie AlwaysReduce va utiliser la réduction d'intervalles lors de cette étape.

Note : Que dois-je stocker dans les solutions ?
Une solution est une liste d'affectations de valeurs à des variables nommées. Une affectation peut être représentée par un record.