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).
Visit the web page of the software