RT Journal Article
T1 Two type extensions for the constraint modelling language MiniZinc
A1 Caballero Roldán, Rafael
A1 Stuckey, Peter J.
A1 Tenorio Fornés, Ámbar
AB 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 newtypes. 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.
PB Elsevier
SN 0167-6423
YR 2015
FD 2015-11-01
LK https://hdl.handle.net/20.500.14352/24376
UL https://hdl.handle.net/20.500.14352/24376
LA eng
NO Ministerio de Economía y Competitividad (MINECO)
NO Comunidad de Madrid
NO Department of Broadband, Communications and the Digital Economy and the Australian Research Council
NO Universidad Complutense de Madrid
NO German Academic Exchange Service
DS Docta Complutense
RD 18 abr 2025