monadiccp: Constraint Programming

[ bsd3, control, library ] [ Propose Tags ]

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, 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
Maintainer maik.riechert@arcor.de
Category control
Home page https://people.cs.kuleuven.be/~tom.schrijvers/MCP/
Bug tracker https://github.com/letmaik/monadiccp/issues
Source repo head: git clone https://github.com/letmaik/monadiccp.git
Uploaded by MaikRiechert at Wed May 9 18:26:21 UTC 2018
Distributions NixOS:0.7.7
Downloads 6359 total (28 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-05-09 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
debug

Generate debug output

DisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for monadiccp-0.7.7

[back to package description]

monadiccp Build Status ========= Acknowledgments ---------------

  • 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.