The Compile! Project
The Compile! Project gathers the research done at CRIL about knowledge compilation.
The website contains the various softwares developed by the project members, together with links to the papers and corresponding presentations.
Visit the web page of the software