Slide 1

Choco: an Open Source Java

Constraint Programming Library


Slide 2

Introducción
• Choco nace en 1999 con el proyecto OCRE

• Su primera implementación fue en C++
• En 2003 pasa a ser una librería para Java
• En 2008 se publica la 2ª versión (Choco v2).
• Ofrece separación modelo/resolutor


Slide 3

Fuente
• http://www.emn.fr/z-info/choco-solver/


Slide 4

Características
• Permite integrarse en programas no CP

• Tipos: Enteros, Sets, Reales y Task
• Ofrece más de 70 restricciones
• Puede: Optimizar o Satisfacer modelos
• Preprocesador: Mejora la modelización


Slide 5

Contexto
• Enseñanza: Universidades en Francia

• Código fácil de comprender
• Se usa en muchas empresas como:
Bouygues SA, Amadeus SA…
• Agencias como: ONERA o NASA


Slide 6

Ejemplo Práctico


Slide 7

Conclusiones
• Precio: GRATUITO

• ¿Útil? -> Si necesitas CP… Si
• Diferencias con MiniZinc: Es una librería
Java, con todo lo que eso conlleva.


Slide 8

Aporte:
dropbox.com/s/c2zjkwzeyvru67d/choco.zip
Contenido:
1.
2.
3.
4.
5.
6.

Esta presentación
Introducción choco (7 pags.)
Documentación choco(226 pags.)
Mini tutorial (6 pags.)
Ejemplo Reinas.java
Librería Choco v.2.1.5 (45 Mb)


Slide 9

Gracias

Autores:
Abdellah Absaoui
Francisco Javier Linde