Programmation par Contraintes

Logiciel validé En savoir plus sur les logiciels à valider

Logiciel à valider En savoir plus sur les logiciels en test

Logiciel en test En savoir plus sur les logiciels archivés

Logiciel archivé
En savoir plus sur les ressources

GNU Prolog : compilateur natif pour Prolog avec résolveur de contraintes sur les Domaines Finis
Laboratoires/Services : CRI - Tutelle : Univ Paris 1 (Panthéon-Sorbonne)
Fonctionnalités principales : compilateur, langage informatique
Daniel Diaz - 07/06/12
Ibex : bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes
: 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)
Fonctionnalités principales : traitement de données
Pascal Monasse - 13/09/13