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