@hackage / cflp

Constraint Functional-Logic Programming in Haskell

Latest2009.2.1

Dependencies

library:cflp (13 dependencies)

@hackage / incremental-sat-solver Simple, Incremental SAT Solving as a Library
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / HUnit A unit testing framework for Haskell
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / control-monad-omega A breadth-first list monad.
- Version:
- License: LicenseRef-PublicDomain
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / level-monad Non-Determinism Monad for Level-Wise Search
- Version:
- License: LicenseRef-PublicDomain
@hackage / MonadRandom Random-number generation monad.
- Version:
- License: BSD-3-Clause
@hackage / logict A backtracking logic-programming monad.
- Version:
- License: BSD-3-Clause
@hackage / value-supply A library for generating values without having to thread state.
- Version:
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause
@hackage / stream-monad Simple, Fair and Terminating Backtracking Monad
- Version:
- License: BSD-3-Clause