Software

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

Software
  • MIT

Glucose is based on a new scoring scheme for the clause learning mechanism of so called "Modern" SAT sovlers

Software

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

Software

PyCSP3 is a Python library that allows to develop declarative models of combinatorial problems under constraints.

ru
  • GPL

runsolver allows to finely control the resources (CPU, memory, ...) used by a solver

Software

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

Software

XCSP3 is a universal format, based on XML, allowing to represent instances of constrained combinatorial problems.