-
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.
- > Home
- > All our sites
- > Projets
Search
Programs
- Master in Engineering (Diplôme d’Ingénieur)
- Engineering training through apprenticeship
- Masters of Science (English taught)
- PhD
- French Summer School
Our sites
Practical information
- Directory
- Contact EMNantes
- Job offers
- Library
- Agenda
- Applying to EMNantes
- Directions to the School
- Publications
