D-Syrup

D-Syrup is an distributed SAT solver based on the portfolio paradigm. This solver, dedicated to work on plenty of cores, implements a new fully hybrid distributed programming model and is built on top of Syrup (aka glucose in parallel).

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