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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Flener, P., Pearson, J., Ågren, M.: Introducing esra, a relational language for modelling combinatorial problems. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol. 3018, pp. 214–232. Springer, Heidelberg (2004)
Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. Duxbury Press (2002)
Frisch, A.M., Grum, M., Jefferson, C., Martinez-Hernandez, B., Miguel, I.: The essence of ESSENCE: A constraint language for specifying combinatorial problems. In: Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp. 73–88 (2005)
Gervet, C.: Large scale combinatorial optimization: A methodological viewpoint. Discrete Mathematics and Theoretical Computer Science, vol. 57, pp. 151–175. DIMACS (2001)
Jayaraman, B., Tambay, P.: Modeling engineering structures with constrained objects. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 28–46. Springer, Heidelberg (2002)
Michel, L., Van Hentenryck, P.: Localizer: A modeling language for local search. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 237–251. Springer, Heidelberg (1997)
Van Hentenryck, P., Lustig, I., Michel, L.A., Puget, J.-F.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)
Weisstein, E.W.: Perfect square dissection. From MathWorld –A Wolfram Web Resource (1999), http://mathworld.wolfram.com/PerfectSquareDissection.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de la Banda, M.G., Marriott, K., Rafeh, R., Wallace, M. (2006). The Modelling Language Zinc. In: Benhamou, F. (eds) Principles and Practice of Constraint Programming - CP 2006. CP 2006. Lecture Notes in Computer Science, vol 4204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11889205_54
Download citation
DOI: https://doi.org/10.1007/11889205_54
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46267-5
Online ISBN: 978-3-540-46268-2
eBook Packages: Computer ScienceComputer Science (R0)