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