Equipe / Team : TASC
Participants : C. Truchet
Licence : LGPL-3.0
Résumé :
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.
