Software

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

Software

d4 is a compiler associating with an input CNF formula an equivalent representation from the language Decision-DNNF.

Software

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

A performance analysis toolkit in python

Software

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

Py

PyXAI is a Python library allowing to bring explanations of various forms from classifiers resulting from machine learning techniques

Ru

A library designed to generate test cases in an automatic way using translation rules

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.