CHOCO : Implementing of a constraint programming kernel - lirmm
qui permet d'écrire simplement des contraintes inégalités linéaires en Claire. ....
un test de satisfiabilité (destiné à être appelé quand toutes les variables sont .....
Le filtrage d'une contrainte linéaire se fait en temps linéaire par rapport au
nombre ..... correspondent ou non à des arêtes de l'affectation optimale de
référence.