The latest version of cflp is 2009.2.1-0.
lib:cflp
Modules
- CFLP
- CFLP.Strategies
- CFLP.Strategies.CallTimeChoice
- CFLP.Strategies.DepthCounter
- CFLP.Strategies.DepthLimit
- CFLP.Strategies.Random
- CFLP.Tests
- CFLP.Tests.CallTimeChoice
- CFLP.Tests.HigherOrder
- CFLP.Types.Bool
- CFLP.Types.List
Dependencies
- HUnit lib:HUnit >=0
- MonadRandom lib:MonadRandom >=0
- base lib:base >=4
- containers lib:containers >=0
- control-monad-omega lib:control-monad-omega >=0
- logict lib:logict >=0
- mtl lib:mtl >=0
- random lib:random >=0
- syb lib:syb >=0
- value-supply lib:value-supply >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything