Add support to MiniZinc
PatrickTrentin88 opened this issue · comments
Please add support to MiniZinc
and FlatZinc
.
The latest documentation is available here: https://www.minizinc.org/doc-2.4.3/en/index.html
An embeddable script that makes source-code snippets in HTML prettier.
PatrickTrentin88 opened this issue · comments
Please add support to MiniZinc
and FlatZinc
.
The latest documentation is available here: https://www.minizinc.org/doc-2.4.3/en/index.html