-
Choco Solver
CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming (CP).
It is built on a event-based propagation mechanism with backtrackable structures.
- > Accueil
- > Tous nos sites
- > Projets
Rechercher
Nos Formations
- Ingénieur
- Ingénieur par Apprentissage
- Masters of Science (English taught)
- Doctorat
- French Summer School
Nos sites
Infos pratiques
- Annuaire
- Contacter l'Ecole
- Offres d'emploi
- Portail Documentaire
- Agenda
- S'inscrire à l'Ecole
- Venir à l'Ecole
- Publications
