Programmation par Contraintes







-
Laboratoires/Services : CRI - Tutelle : Univ Paris 1 (Panthéon-Sorbonne)
GNU Prolog : compilateur natif pour Prolog avec résolveur de contraintes sur les Domaines Finis
Fonctionnalités principales : compilateur, langage informatiqueDaniel Diaz - 07/06/12
-
: Lab-STICC, LIGM, LINA, LIRMM, OSM - : CNRS, ENPC, ENSTA, ESIEE, Mines Nantes, Univ Montpellier 1, Univ Montpellier 2, Univ Nantes, Univ Paris-Est Marne-la-Vallée (UPEMLV)
Ibex : bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes
Fonctionnalités principales : traitement de donnéesPascal Monasse - 13/09/13