Software

A Constraint-based Quick Abstract Argumentation Solver

Cr

Crusti_g2io is a graph generator following an inner/outer pattern..

Software

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

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).

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.

Py

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