Software

A Constraint-based Quick Abstract Argumentation Solver

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.

Ru

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