monadiccp: Constraint Programming
Monadic Constraint Programming framework
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 | BSD-3-Clause |
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 | by PieterWuille at Wed May 11 13:20:02 UTC 2011 |
Distributions | NixOS:0.7.6 |
Downloads | 5766 total (39 in the last 30 days) |
Rating | (no votes yet) [estimated by rule of succession] |
Your Rating | |
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 (as included in the package)