monadiccp: Constraint Programming

[ bsd3, control, library ] [ Propose Tags ]

Monadic Constraint Programming framework

[Skip to Readme]
Versions [faq] 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, 0.7.7
Dependencies base (>=2 && <5), containers, mtl, parsec (>=3.0), pretty, random, semigroups [details]
License BSD-3-Clause
Author Tom Schrijvers, Pieter Wuille
Category control
Home page
Bug tracker
Source repo head: git clone
Uploaded by MaikRiechert at 2018-05-09T18:26:21Z
Distributions NixOS:0.7.7
Downloads 12536 total (40 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-05-09 [all 1 reports]





Generate debug output


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-0.7.7

[back to package description]

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.