Software

ACE is an open-source constraint solver developed by Christophe Lecoutre (CRIL) in Java.

DS

D-Syrup is an distributed SAT solver based on the portfolio paradigm

Software

Gophersat is a SAT and pseudo-boolean solver written purely in go.

NA

The main purpose of this solver is to experiment nogood recording (with a clause reasoning engine) in Constraint Programming (CP).

pF

pFactory is a C++ library that simplifies the design of multithreaded solvers.

Software

SAT4J is a library of efficient boolean reasoners for the Java platform.