Logiken
CRIL-Mitarbeiter haben Programme und Prototypen entwickelt, die der wissenschaftlichen Community und Software-Entwicklern zur Verfügung gestellt werden.
- MIT
- Repository
- SWHID
ACE is an open-source constraint solver developed by Christophe Lecoutre (CRIL) in Java.