monadiccp-gecode: Constraint Programming

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


Gecode extension for the Monadic Constraint Programming Framework (code generator and runtime solver backend)

[Skip to ReadMe]


Versions0.1, 0.1.1, 0.1.2, 0.1.2, 0.1.3
Change logNone available
Dependenciesbase (>=2 && <5), containers, monadiccp (>=0.7.6), mtl [details]
AuthorTom Schrijvers, Pieter Wuille
Home page
Bug tracker
Source repositoryhead: git clone
UploadedFri Jan 17 15:09:39 UTC 2014 by JanTikovsky




Generate debug output


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainers' corner

For package maintainers and hackage trustees

Readme for monadiccp-gecode-0.1.2

[back to package description]


Gecode extension for the Monadic Constraint Programming Framework containing a code generator and a runtime solver backend for the C++ based constraint library Gecode

This package requires a working Gecode 3.1.0 installation. A Gecode 3.1.0 source package can be downloaded from

After installing Gecode 3.1.0 this package can be installed by running cabal install --extra-include-dirs=$GECODE/include --extra-lib-dirs=$GECODE/lib

$GECODE refers to the installation directory of Gecode 3.1.0