D-
D-Syrup
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
Toute catégorie Prouveurs CSP & SAT
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.