Tom Schrijvers - Monadic Constraint ProgrammingNotice The website of Tom Schrijvers has moved to http://people.cs.kuleuven.be/~tom.schrijvers. Please adjust any links you maintain as this copy will be taken down shortly. The aim of this project is to model the generic aspects of Constraint Programming in Haskell. Of particular interest is the solver-independent framework for composable search strategies. This project involves Peter Stuckey and
