Parsing

What does your user need to know to parse a model?

In addition to the modelling language, Choco-solver can parse files in XCSP3, MiniZinc (flatzinc) and DIMACS formats.

The standard practice is to call the choco JAR directly with the instance as an argument, such as:

java -jar choco-parsers-4.10.13-light.jar /path/to/the/instance

XCSP3 and DIMACS files do not require any preliminary steps and can therefore be read and resolved directly. Instructions can be founds here and here.

But MiniZinc models must be turned into Flatzinc models with the right set of constraints, the ones supported by Choco-solver. The easiest way, in that case, is to rely on MinizincIDE and add Choco-solver as additional solver. Instructions can be found on here.

Last modified 30.06.2023: Update doc (1ba3a90)