Software

The laboratory tries as much as possible to make the software it produces available as free software. These software are identified by a badge that mentions their free license.

The use of a free license aims at facilitating the diffusion of our research results in the academic world and more generally in our digital society. It is also a way for the laboratory to share the effort of maintaining the tools and libraries it develops for its internal needs. These software are often available “in open development”, on the laboratory’s github account.

Software

A Constraint-based Quick Abstract Argumentation Solver

Software

A Belief Aggregation Tool.

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

SA

SAF is a SAT-based Attractor Finder which computes attractors in biological regulatory networks modelled as asynchronous automata networks.