CW 562

Pieter Wuille and Tom Schrijvers
The FD-MCP framework

Abstract

This report 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.

report.pdf (305K) / mailto: P. Wuille