D-Syrup is an original 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 from Syrup. This page contains the version of D-Syrup proposed in the paper "A Distributed Version of Syrup" accepted to the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17).  [PDF]

People involved in this project: