Deal with MiniZinc files
MiniZinc software stack
Modelling languages
Dealing with different 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.
Feedback
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.