International workshop on Constraint Modelling and Reformulation, Date: 2009/09/20 - 2009/09/20, Location: Lisbon
Publication date:
2009-01-01
Pages:
171 -
185
Proceedings of the 8th International Workshop on Constraint Modelling and Reformulation
Author:
Wuille, Pieter
Schrijvers, Tom
Keywords:
constraints, haskell
Abstract:
This paper presents FD-MCP, a finite domain modeling language on top of the Monadic Constraint Programming framework for Haskell. FD-MCP leverages Haskell's rich static type system and powerful abstraction mechanisms for implementing syntactic sugar, model transformations and compilation to solver backends. Two backends are provided: a basic Haskell solver and a Gecode code generator. Our benchmarks establish that FD-MCP models are much more concise than hand-coded Gecode programs, more so when using disjunction, without sacrificing performance.