monadiccp: 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.
Warnings:
- 'ghc-options/ghc-prof-options: -fprof*' profiling flags are typically not appropriate for a distributed library package. These flags are useful to profile this package, but when profiling other packages that use this one these flags clutter the profile output with excessive detail. If you think other packages really want to see cost centres from this package then use '-fprof-auto-exported' which puts cost centres only on exported functions. Alternatively, if you want to use this, make it conditional based on a Cabal configuration flag (with 'manual: True' and 'default: False') and enable that flag during development.
Properties
| 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, 0.7.7 |
|---|---|
| Change log | None available |
| 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 2018-05-09T18:23:37Z |
Modules
[Index]
- Control
- CP
- Control.CP.ComposableTransformers
- Control.CP.Debug
- Control.CP.EnumTerm
- FD
- Control.CP.PriorityQueue
- Control.CP.Queue
- Control.CP.SearchTree
- Control.CP.Solver
- Control.CP.Transformers
- Mixin
- Search
- Combinator
- Control.Search.Combinator.And
- Control.Search.Combinator.Base
- Control.Search.Combinator.Failure
- Control.Search.Combinator.For
- Control.Search.Combinator.If
- Control.Search.Combinator.Let
- Control.Search.Combinator.Misc
- Control.Search.Combinator.Once
- Control.Search.Combinator.Or
- Control.Search.Combinator.OrRepeat
- Control.Search.Combinator.Post
- Control.Search.Combinator.Print
- Control.Search.Combinator.Repeat
- Control.Search.Combinator.Success
- Control.Search.Combinator.Until
- Control.Search.Constraints
- Control.Search.Generator
- Control.Search.GeneratorInfo
- Control.Search.Language
- Control.Search.Memo
- Control.Search.MemoReader
- Control.Search.SStateT
- Control.Search.Stat
- Combinator
- CP
- Data
- Language
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| debug | Generate debug output | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- monadiccp-0.7.7.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for monadiccp-0.7.7
[back to package description]monadiccp 
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.