The Compile! Project gathers the research done at CRIL about knowledge compilation.

The purpose of the Compile! project is to make available on the Web some ressources, especially pieces of software developed at CRIL, which are somehow relevant to knowledge compilation purposes. Those pieces of software consist mainly of translators of various kinds, which can be used to improve (from a computational point of view) the solving of a number of problems from different AI fields.