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.

CO

SA

Keep up to date with the satisfiability problem

th

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

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.