Programmation Logique

Programmation logique contrainte

Extension de la programmation logique intégrant des solveurs de contraintes pour des domaines spécifiques comme les nombres réels ou les domaines finis.

← Back