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.

[maintain] [Publish]

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


[Skip to Readme]

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.1.2, 0.1.3
Change log None available
Dependencies base (>=2 && <5), containers, monadiccp (>=0.7.6), mtl [details]
License BSD-3-Clause
Author Tom Schrijvers, Pieter Wuille
Maintainer jrt@informatik.uni-kiel.de
Category control
Home page http://users.ugent.be/~tschrijv/MCP/
Bug tracker https://github.com/JTiko/monadiccp-gecode/issues
Source repo head: git clone https://github.com/JTiko/monadiccp-gecode.git
Uploaded by JanTikovsky at 2014-01-17T15:09:39Z

Modules

Flags

Automatic Flags
NameDescriptionDefault
debug

Generate debug output

Disabled

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

Downloads

Maintainer's Corner

Package maintainers

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