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

CSP & SAT Solvers

Reasoning

Compilers

Declarative Mining

Game Solver

Other

Web sites

Older software