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   


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.