Name: cflp Version: 2009.2.1 Cabal-Version: >= 1.6 Synopsis: Constraint Functional-Logic Programming in Haskell Description: This package provides combinators for constraint functional-logic programming ((C)FLP) in Haskell. The combinators might later be used as a target language for compiling programs written in an FLP language like Curry or Toy. Another application of FLP is demand driven test-case generation. Category: Control License: BSD3 License-File: LICENSE Author: Sebastian Fischer Maintainer: sebf@informatik.uni-kiel.de Bug-Reports: mailto:sebf@informatik.uni-kiel.de Homepage: http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html Build-Type: Custom Stability: alpha Extra-Source-Files: README, INSTALL, Makefile, configure, Test.lhs Library Build-Depends: base == 4.*, mtl, syb, containers, control-monad-omega, logict, level-monad, stream-monad, incremental-sat-solver, random, MonadRandom, value-supply, HUnit Exposed-Modules: CFLP CFLP.Constraints.Boolean CFLP.Strategies CFLP.Strategies.CallTimeChoice CFLP.Strategies.DepthCounter CFLP.Strategies.DepthLimit CFLP.Strategies.Random CFLP.Tests CFLP.Tests.Boolean CFLP.Tests.CallTimeChoice CFLP.Tests.HigherOrder CFLP.Types.Bool CFLP.Types.List Other-Modules: CFLP.Control.Monad.Update CFLP.Control.Strategy CFLP.Data CFLP.Data.Generic CFLP.Data.HigherOrder CFLP.Data.Matching CFLP.Data.Narrowing CFLP.Data.Primitive CFLP.Data.Types CFLP.Data.UniqueID Hs-Source-Dirs: src Extensions: GeneralizedNewtypeDeriving, NoMonomorphismRestriction, FunctionalDependencies, MultiParamTypeClasses, UndecidableInstances, OverlappingInstances, IncoherentInstances, FlexibleInstances, FlexibleContexts, NoMonoPatBinds, PatternGuards, TypeOperators, TypeFamilies, RankNTypes Ghc-Options: -Wall -fno-warn-orphans -fno-warn-name-shadowing Source-Repository head type: git location: git://github.com/sebfisch/cflp.git