Modelling with Option Types in MiniZinc

  • Christopher Mears
  • Andreas Schutt
  • Peter J. Stuckey
  • Guido Tack
  • Kim Marriott
  • Mark Wallace
Conference paper

DOI: 10.1007/978-3-319-07046-9_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8451)
Cite this paper as:
Mears C., Schutt A., Stuckey P.J., Tack G., Marriott K., Wallace M. (2014) Modelling with Option Types in MiniZinc. In: Simonis H. (eds) Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2014. Lecture Notes in Computer Science, vol 8451. Springer, Cham

Abstract

Option types are a powerful abstraction that allows the concise modelling of combinatorial problems where some decisions are relevant only if other decisions are made. They have a wide variety of uses: for example in modelling optional tasks in scheduling, or exceptions to a usual rule. Option types represent objects which may or may not exist in the constraint problem being modelled, and can take an ordinary value or a special value ⊤ indicating they are absent. The key property of variables of option types is that if they take the value ⊤ then the constraints they appear in should act as if the variable was not in the original definition. In this paper, we explore the different ways that basic constraints can be extended to handle option types, and we show that extensions of global constraints to option types cover existing and common variants of these global constraints. We demonstrate how we have added option types to the constraint modelling language MiniZinc. Constraints over variables of option types can either be handled by transformation into regular variables without extending the requirements on underlying solvers, or they can be passed directly to solvers that support them natively.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Christopher Mears
    • 3
  • Andreas Schutt
    • 1
    • 2
  • Peter J. Stuckey
    • 1
    • 2
  • Guido Tack
    • 1
    • 3
  • Kim Marriott
    • 1
    • 3
  • Mark Wallace
    • 1
    • 3
  1. 1.National ICT Australia (NICTA)Australia
  2. 2.University of MelbourneAustralia
  3. 3.Faculty of ITMonash UniversityAustralia

Personalised recommendations