The monadiccp-gecode package

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.

[maintain]

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


[Skip to ReadMe]

Properties

Versions0.1, 0.1.1, 0.1.2, 0.1.2
Change logNone available
Dependenciesbase (>=2 && <5), containers, monadiccp (>=0.7.6), mtl [details]
LicenseBSD3
AuthorTom Schrijvers, Pieter Wuille
Maintainerjrt@informatik.uni-kiel.de
Categorycontrol
Home pagehttp://users.ugent.be/~tschrijv/MCP/
Bug trackerhttps://github.com/JTiko/monadiccp-gecode/issues
Source repositoryhead: git clone https://github.com/JTiko/monadiccp-gecode.git
UploadedFri Jan 17 15:09:39 UTC 2014 by JanTikovsky

Modules

Flags

NameDescriptionDefaultType
debug

Generate debug output

DisabledAutomatic

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for monadiccp-gecode-0.1.2

[back to package description]

monadiccp-gecode

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 http://www.gecode.org/download/gecode-3.1.0.tar.gz.

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