G12 MiniZinc Distribution download

MiniZinc is a medium-level constraint modelling language

We do not have a download file for the latest version (1.6), but you can try downloading it from the developer's site

Download version 1.3 from Software Informer

Scanned by 78 antivirus programs on Sep 5, 2024. The file is clean, see the report.

Version: 1.3 (x86)

File name: minizinc-1.3.2-setup.exe

Size: 6.1 MB

Latest versions of G12 MiniZinc Distribution

minizinc-1.3.2-setup.exe

Free

Free Prolog compiler with constraint solving over finite domains

Free

A platform designed to facilitate rigorous spatial analysis and modelling.

Zinc 4.0 has been updated to support the very latest Flash Player 11.

Free

The Mozart system is a development platform for distributed applications.

Two boards can be mobile using two AAA batteries provided in the kit.