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).

Download here



Any category    CSP & SAT Provers   


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.