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


Auteurs :
Gilles Audemard
Jean-Marie Lagniez
Nicolas Szczepanski
Sébastien Tabary

Toute catégorie    Prouveurs CSP & SAT   

Aller sur la page web du logiciel

Articles de conférences internationales

2017 Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary, A Distributed Version of Syrup in 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17), pp. 215-232, 2017.