Home » Liste des logiciels par équipes


Equipe tasc

NomDépôtPropriétéLicenceNbre de
téléchargement
DescriptionLien
CHOCOIMT-ABSDen 2019, 57494 téléchargements, toutes versions confonduesCHOCO 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).
GHOSTXUNGNU 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.

AbsoluteUNLGPL-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-ATexte : 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

Haut de page


Copyright : LS2N 2017 - Mentions Légales - 
 -