Choco

Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP).

Generated Documentation (Untitled)

Frame Alert. This document is designed to be viewed using the frames feature. If you see this message, you are using a non-frame-capable web client. ...

Tutoriel : Créer sa propre contrainte globale

Tutoriel : Créer sa propre contrainte globale. Sémantique de la contrainte; Implémentation d'une contrainte sans explication ...

[PDF] tut_base

File Format: PDF/Adobe Acrobat - tut_base. Table of contents. 1. Tutorial : first steps with Choco.............. .....................................................................2 ...

Tutoriel : Expliquer une contrainte

Tutoriel : Expliquer une contrainte. Construction d'une contrainte expliquée; Propagation sur la contrainte; Propagation sur les variables ...

[PDF] Choco User Guide

File Format: PDF/Adobe Acrobat - Choco User Guide. Laburthe Francois, Jussien Narendra,. Rochart guillaume, Cambazard Hadrien. Creating the Problem. The central element of a choco program ...

[PDF] Tutoriel : Expliquer une contrainte

File Format: PDF/Adobe Acrobat - Tutoriel : Expliquer une contrainte. by Guillaume Rochart. Table of contents. 1. Construction d'une contrainte expliquée. ...

[PDF] Installation notes

File Format: PDF/Adobe Acrobat - Installation notes. Table of contents. 1. Download of the Choco archive........ ...........................................................................2 ...

User guide

User guide. Creating the Problem. Variables. Integer Variables; Set Variables; Real Variables. Constraints. Integer constraints ...

[PDF] First Steps with Choco

File Format: PDF/Adobe Acrobat - 1. A first example: Magic Square............................................... ......................................2. 1.1. Create the problem. ...