Home » Liste des logiciels par équipes


Equipe tasc

NomDépôtPropriétéLicenceDescriptionLien
ChocoBSDCHOCO est une bibliothèque de programmation par contraintes en Java contenant un nombre important de contraintes dans sa version 3 (le projet a débuté en 2001), une documentation détaillée fournie, un moteur ouvert avec des fonctionnalité uniques (intégration des explications et du pilotage de la propagation). CHOCO a été téléchargé en moyenne 400 fois par mois ces 6 derniers mois.
GHOSTXUNToolkit de programmation par contraintes en C++.
AbsoluteUNSolveur basé sur les domaines abstraits.
GCCat (corpus)IMT-ADictionnaire de contraintes (texte/LaTeX + métadonnées/Prolog).

Haut de page


Copyright : LS2N 2017 - Mentions Légales - 
 -