lib:monadiccp
Modules
- Control.CP.ComposableTransformers
- Control.CP.Debug
- Control.CP.EnumTerm
- Control.CP.FD.Decompose
- Control.CP.FD.Example
- Control.CP.FD.FD
- Control.CP.FD.Graph
- Control.CP.FD.Interface
- Control.CP.FD.Model
- Control.CP.FD.OvertonFD.Domain
- Control.CP.FD.OvertonFD.OvertonFD
- Control.CP.FD.OvertonFD.Sugar
- Control.CP.FD.SearchSpec.Data
- Control.CP.FD.SimpleFD
- Control.CP.FD.Solvers
- Control.CP.PriorityQueue
- Control.CP.Queue
- Control.CP.SearchTree
- Control.CP.Solver
- Control.CP.Transformers
- Control.Mixin.Mixin
- 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
- Data.Expr.Data
- Data.Expr.Sugar
- Data.Expr.Util
- Data.Linear
- Language.CPP.Pretty
- Language.CPP.Syntax.AST
Dependencies
- base lib:base <5 && >=2
- containers lib:containers >=0
- mtl lib:mtl >=0
- parsec lib:parsec >=3.0
- pretty lib:pretty >=0
- random lib:random >=0
- semigroups lib:semigroups >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- adp-multi exe:adp-multi-benchmarks
- adp-multi exe:adp-test
- adp-multi lib:adp-multi
- adp-multi test:MainTestSuite
- adp-multi-monadiccp exe:adp-multi-monadiccp-benchmarks
- adp-multi-monadiccp lib:adp-multi-monadiccp
- adp-multi-monadiccp test:Test
- monadiccp test:olympic
- monadiccp-gecode lib:monadiccp-gecode