Software

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

Software

A distributed SAT solver based on the divide and conquer paradigm

Be

Belief revision games (BRGs) are concerned with the dynamics of the beliefs of a group of communicating agents.

Software

A Constraint-based Quick Abstract Argumentation Solver

DS

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

Software

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

De

DecMining is a web page dedicated to declarative approaches for data mining. It contains software, datasets, publications and related links to others research groups.

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.

Ji

A Java 9+ command-line arguments parsing library based on annotations

Software

A performance analysis toolkit in python

NA

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

Pe

Ask yourself about what you would be doing if you just have one hour and a half to spend at Le Louvre? Our purpose is to help a visitor finding a “good answer” to such a question.

pF

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

Software

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

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

SA

Keep up to date with the satisfiability problem

Software

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

Software

The Compile! Project gathers the research done at CRIL about knowledge compilation.

Th

The SAT Game is a funny representation of the SAT problem.

Software

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