G12 MiniZinc Distribution 1.3
Free
Latest version:
1.6
See all
Developer:
NICTA
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.
A platform designed to facilitate rigorous spatial analysis and modelling.
Comments