The modelling language zinc

Authors:
Maria Garcia de la Banda;Kim Marriott;Reza Rafeh;Mark Wallace
Affiliations:
Clayton School of IT, Monash University, Australia;Clayton School of IT, Monash University, Australia;Clayton School of IT, Monash University, Australia;Clayton School of IT, Monash University, Australia
Venue:
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Year:
2006

Citing 3
Cited 8

The OPL optimization programming language

The OPL optimization programming language
Large scale combinatorial optimization: methodological viewpoint

DIMACS workshop on on Constraint programming and large scale discrete optimization
Modeling Engineering Structures with Constrained Objects

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages

The design of ESSENCE: a constraint language for specifying combinatorial problems

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
MiniZinc: towards a standard CP modelling language

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
From high-level model to branch-and-price solution in G12

CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Dantzig-Wolfe decomposition and branch-and-price solving in G12

Constraints
Procedural code generation vs static expansion in modelling languages for constraint programming

CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
A semantic account for modularity in multi-language modelling of search problems

FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
From zinc to design model

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Using dual presolving reductions to reformulate cumulative constraints

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be readily extended to different application domains by user-defined libraries. Zinc is designed to support a modelling methodology in which the same conceptual model can be automatically mapped into different design models, thus allowing modellers to easily “plug and play” with different solving techniques and so choose the most appropriate for that problem.