The monadiccp package

[Tags:bsd3, library]

Monadic Constraint Programming framework

[Skip to Readme]


Versions 0.1, 0.2, 0.3, 0.4, 0.4.1, 0.5, 0.5.1, 0.5.2, 0.6, 0.6.1, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.7.6
Dependencies base (>=2 && <5), containers, mtl, parsec (>=3.0), pretty, random [details]
License BSD3
Author Tom Schrijvers, Pieter Wuille
Category control
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Sat May 18 09:00:37 UTC 2013 by MaikRiechert
Distributions NixOS:0.7.6
Downloads 3606 total (35 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




runtimegecodeInclude the RuntimeSolver and SearchSolver for Gecode. Requires a working Gecode 3.1 installation.DisabledAutomatic
debugGenerate debug outputDisabledAutomatic

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


Maintainer's Corner

For package maintainers and hackage trustees

Readme for monadiccp

Readme for monadiccp-0.7.5

monadiccp Build Status


  • Thanks to Chris Mears for a patch to get the package to compile against GHC 7.4.1.
  • Thanks to Nicholas Tung for a patch to get the package to compile against GHC 7.2.2.