G12 MiniZinc Distribution - Development Snapshots
Each development snapshot is given a version number "rotd-YYYY-MM-DD"
according to the date on which it was built.
ROTD stands for "release of the day".
Mac OS X x86 download
Linux x86 download
Linux x86-64 download