The monadiccp package
Monadic Constraint Programming framework
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 |
|---|---|
| Dependencies | base (>=2 && <5), containers, haskell98, Monatron (>=0.3), mtl, pretty, random [details] |
| License | BSD3 |
| Author | Tom Schrijvers, Pieter Wuille |
| Maintainer | tom.schrijvers@cs.kuleuven.be |
| Category | control |
| Home page | http://www.cs.kuleuven.be/~toms/MCP/ |
| Bug tracker | http://trac.haskell.org/monadiccp/ |
| Uploaded | Wed May 11 13:20:02 UTC 2011 by PieterWuille |
| Distributions | NixOS:0.7.6 |
| Downloads | 3583 total (33 in the last 30 days) |
| Votes | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-28 [all 7 reports] Hackage Matrix CI |
Modules
- Control
- CP
- Control.CP.ComposableTransformers
- Control.CP.EnumTerm
- FD
- Control.CP.FD.Example
- Gecode
- Control.CP.FD.Gecode.CodegenSolver
- Control.CP.FD.Gecode.Runtime
- Control.CP.FD.Gecode.RuntimeSearch
- Control.CP.FD.Interface
- Control.CP.FD.Model
- OvertonFD
- Control.CP.FD.OvertonFD.OvertonFD
- Control.CP.FD.OvertonFD.Sugar
- Control.CP.FD.Solvers
- Control.CP.PriorityQueue
- Control.CP.Queue
- Control.CP.SearchTree
- Control.CP.Solver
- Control.CP.Transformers
- CP
- Data
- Expr
- Data.Expr.Sugar
- Expr
Flags
| Name | Description | Default | Type |
|---|---|---|---|
| runtimegecode | Include the RuntimeSolver and SearchSolver for Gecode. Requires a working Gecode 3.1 installation. | Disabled | Automatic |
| debug | Generate debug output | Disabled | Automatic |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- monadiccp-0.7.0.tar.gz [browse] (Cabal source package)
- Package description (included in the package)