Equipe tasc
| Nom | Dépôt | Propriété | Licence | Nbre de téléchargement | Description | Lien |
| CHOCO | IMT-A | BSD | en 2019, 57494 téléchargements, toutes versions confondues | CHOCO 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). |  | |
| GHOST | X | UN | GNU GPL v3 | Toolkit de programmation par contraintes en C++. GHOST est une bibliothèque C++ faite pour aider les développeurs à modéliser et implémenter leur problème d'optimisation combinatoire. L'idée est de revenir à la source de la programmation par contrainte, où l'utilisateur modélise son problème, idéalement de la manière la plus simple possible, et où il n'aura qu'à appeler dans son code le solveur intégré à GHOST, sans besoin de paramètrage ni d'expertise en programmation par contrainte, laissant à ce dernier le soin de s'occuper de la résolution du problème. | ||
| Absolute | UN | LGPL-3.0 | Solveur basé sur les domaines abstraits. Absolute est un résolveur de contraintes basé sur des domaines abstraits de la théorie de l'interprétation abstraite. Il met en œuvre la méthode de résolution présentée dans : « Un solveur de contraintes basé sur des domaines abstraits ». Il a continué à être développé dans le projet ANR Coverif. |  | ||
| GCCat - Global Constraint Catalogue (corpus) | IMT-A | Texte : Creative Commons Attribution-NonCommercial-ShareAlike 4.0 ; Logiciel : Mozilla | Dictionnaire de contraintes (texte/LaTeX + métadonnées/Prolog). Dictionnaire de contraintes décrivant les contraintes en termes de méta données. Le volume 2 sur les contraintes sur les séries temporelles a été étendu (bornes, base de données d'invariants paramétrés) à l'occasion des projets Gaspard Monge et du projet Graceful, voir https://arxiv.org/abs/1609.08925 Dictionnaire contraintes (texte/LaTeX + métadonnées/Prolog) lien (vol. 1) : http://soda.swedishict.se/5195/ m.à.j. : https://www.dropbox.com/s/q0eehycmocs353j/catalog_volume_1.pdf lien (vol. 2 ): https://arxiv.org/abs/1609.08925v2 |
