Solveurs de contraintes

Définition

Les solveurs de contraintes résolvent les problèmes de satisfaction de contraintes (CSP). Ils prennent en charge la programmation par contraintes. Une contrainte est une condition qui doit être satisfaite par toute solution valide à un problème.

Les contraintes sont définies de manière déclarative et appliquées à des variables dans des domaines donnés. Les résolveurs de contraintes utilisent des techniques de recherche, de retour arrière et de propagation de contraintes pour trouver des solutions et déterminer les solutions optimales.

Ils peuvent employer des formes de programmation linéaire et non linéaire. Ils sont souvent utilisés pour effectuer une optimisation dans des espaces de problèmes hautement combinatoires. Par exemple, ils peuvent être utilisés pour calculer une planification optimale, concevoir des circuits intégrés efficaces ou maximiser la productivité dans un processus de fabrication.

voir Système de raisonnement

Français

Solveurs de contraintes

Anglais

Constraint solvers

Source : Wikipedia