Found 1 document(s)
Page 1 of 1
-
CHR est un langage à base de règles et de contraintes pour modéliser et résoudre des problèmes combinatoires. Contrairement aux solveurs dédiés à un langage de modélisation tel que CSP, l'utilisateur écrit les règles qui...