Universidad Complutense de Madrid
E-Prints Complutense

Two type extensions for the constraint modelling language MiniZinc


Downloads per month over past year




Downloads per month over past year

Caballero Roldán, Rafael and Stuckey, Peter J. and Tenorio Fornés, Antonio (2015) Two type extensions for the constraint modelling language MiniZinc. Science of Computer Programming, 111 (P1). pp. 156-189. ISSN 0167-6423

[thumbnail of scp15a Two type extensions.pdf]

Official URL: http://dx.doi.org/10.1016/j.scico.2015.04.007


In this paper we present two type extensions for the modelling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc? , extends existing types with additional values. The user can specify both the extension of a predefined type with new values, and the behavior of the operations with relation to the new
types. We illustrate the usage of MiniZinc? to model SQL-like problems with integer variables extended with NULL values. The second extension, MiniZinc+, introduces union types in the language. This allows defining recursive types such as trees, which are very useful for modelling problems that involve complex structures. A new case statement is introduced to select the different components of union type terms. The paper shows how a model defined using these extensions can be transformed into a MiniZinc model which is equivalent to the original model.

Item Type:Article
Uncontrolled Keywords:Constraint Programming, NULL values, Union Types
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:36192
Deposited On:07 Mar 2016 13:48
Last Modified:19 Mar 2020 12:49

Origin of downloads

Repository Staff Only: item control page