G12 MiniZinc Distribution 1.3

Free MiniZinc is a medium-level constraint modelling language
Rating
Your vote:
Latest version:
1.6 See all
Developer:
NICTA
Screenshots
1 / 1
Awards (1)
Show all awards
Software Informer Virus Free award
Freeware
Download
Free   6.1 MB

MiniZinc is a medium-level constraint modelling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc.

Comments

User

Your vote:

Related software

GNU Prolog
GNU Prolog
Free
rating

Free Prolog compiler with constraint solving over finite domains

Geospatial Modelling Environment
Geospatial Modelling Environment
Free
rating

A platform designed to facilitate rigorous spatial analysis and modelling.

Zinc
Zinc
rating

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

Mozart
Mozart
Free
rating

The Mozart system is a development platform for distributed applications.

CC2530ZNP Mini Kit
CC2530ZNP Mini Kit
rating

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

Tags

Language Modelling Constraint Solvers Mapped