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" [...]


  The deal is that Indiana Payday Loans online can save your time, nerves and make a solution of all your financial problems. What can cause long-term use of Viagra? In the network and other sources of information, there is no reliable data on the long-term use of Viagra and its negative effects on the body.