CRIL members have developed tools and prototypes that are available to the scientific community.

Perennial software

These software are written and maintained on the long term by permanent members of the CRIL.

Recent software

CSP & SAT Solvers

Reasoning

Compilers

Declarative Mining

Game Solver

Other

Web sites

Older software