D-Syrup est un solveur SAT distribué basé sur le paradigme de portfolio. Ce solveur est destiné à fonctionner sur des architectures multi-cœurs. Il met en œuvre un nouveau modèle de programmation distribuée entièrement hybride et est construit au-dessus de Syrup ( qui est la version parallèle du solveur SAT GLUCOSE).

Télécharger ici


Auteur(s) :
Gilles Audemard
Jean-Marie Lagniez
Nicolas Szczepanski
Sébastien Tabary

Toute catégorie    Prouveurs CSP & SAT   

Aller sur la page web du logiciel