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

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

CO

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.

th

The aim of the OpenCycloDB project it is provide open reliable data regarding cyclodextrins to facilitate its use in machine learning approaches.

Software

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