Trace: » Documentation

Table of Contents

Documentation

Everything you need to know About CHOCO can be find in the following pages.

The concise Introduction to constraint programming and Choco will provide some informations About constraint programming concepts and a “Hello world”-like My first Choco program.

The The model page gives informations on How to create a model, the introduction of Variables and Constraints.

The The solver page gives informations on How to create a solver, Read a model, to define a Search strategy and finally Solve the problem.

A catalog of CHOCO defined Constraints in alphabetical order is also available.

The Advanced uses of Choco explain how to [advanced#Define your own limit search space]], Define your own search strategy, Define your own contraint, Define your own operator, Define your own variable or Backtrackable structures.

  1. About
  2. Introduction to constraint programming and Choco
    1. About constraint programming
    2. My first Choco program
  3. The model
    1. How to create a model
    2. Variables
    3. Constraints
  4. The solver
    1. How to create a solver
    2. Read a model
    3. Search strategy
    4. Solve the problem
  5. Constraints in alphabetical order
  6. Advanced uses of Choco
    1. Define your own limit search space
    2. Define your own search strategy
      1. Define your own variable selection
      2. Define your own value selection
    3. Define your own contraint
    4. Define your own operator
    5. Define your own variable
    6. Backtrackable structures
  7. troubleshooting
  8. Papers

Beta

Here you can find short documentation concerning futur works, only available on the beta version or extension of the current jar.

  1. Choco and Graphviz not yet available. Has been included in Choco and Visu.
  2. Choco and Visu

Material

Here you can find some materials at your disposal. If you create any, you can also send it to us, so we can add it to the list.

Presentations