Modelling languages

Modelling languages

Choco-solver is able to parse and solve instances in different modelling languages. The main language is the Choco-solver modelling language, which is a Java-based language. It is a high-level language that allows to define constraints and variables in a very concise way.

In addition, Choco-solver is able to parse and solve instances in other languages. The two most common languages are MiniZinc and XCSP3. Choco-solver is also able to parse and solve instances in DIMACS format.