Tuesday, 14:15 - 14:40 h, Room: H 1058


Guido Tack
Towards MiniZinc 2.0

Coauthors: Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter J. Stuckey, Mark Wallace


MiniZinc is a language for modelling combinatorial problems. It aims at striking the right balance between expressiveness on the one hand, and support for different solvers on the other. To this end, MiniZinc provides a library of predicates defining global constraints, and a generic translation to FlatZinc, a low-level language that is easy to support by different solvers.
Since its inception in 2006, MiniZinc has gained considerable momentum. In its current version 1.5, the G12 MiniZinc distribution provides a complete, stable, usable toolchain for modelling and solving combinatorial problems. Its library contains definitions of over 150 global constraints, and there are backends for a variety of different solvers, from constraint programming, to mathematical programming, to SAT and SMT.
The next major milestone will conservatively extend the language with features from full Zinc, add more control over the search, and open up the toolchain to allow for customisation of the translation and easier integration into existing software.
This presentation gives an overview of the MiniZinc system, what is planned for version 2.0, and the techniques required to implement it.


Talk 3 of the invited session Tue.2.H 1058
"Software for constraint programming" [...]
Cluster 10
"Implementations & software" [...]


  loans online . But at the same time, it acts only with sexual arousal. Viagra has a number of advantages in comparison with injections in the sexual organ or other procedures aimed at treatment of impotency.