monadiccp: Constraint Programming

[ bsd3, control, library ] [ Propose Tags ]

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
Data
- Expr
  - Data.Expr.Sugar

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)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information