Skip to content

MiniZinc 2.0.10
Compare
Choose a tag to compare
@guidotack guidotack released this 09 Dec 21:43
· 5099 commits to master since this release
2.0.10
2d1817f

A quick bugfix release. See http://www.minizinc.org/2.0/changes.html for a detailed change log.

Note: earlier binary packages for this version contained an incorrect minizinc binary. If you encounter difficulties running minizinc from the command line, please re-download the package.

Assets 10
Loading