MiniZinc Path-based Presolving Prototype

Here you can download a prototype of the MiniZinc compiler with support for path-based presolving. It is currently only available as a statically linked binary for Linux. Versions for other operating systems will be added shortly.

minizinc-presolve-0.9.tgz