Name:          cflp
Version:       0.0.2.1
Cabal-Version: >= 1.2
Synopsis:      Constraint Functional-Logic Programming in Haskell
Description:   This package provides combinators for constraint
               functional-logic programming ((C)FLP) in Haskell. The 
               combinators can 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
Homepage:      http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html
Build-Type:    Custom
Stability:     alpha

Extra-Source-Files: README, INSTALL

Library
  Build-Depends:    base >= 4, ghc, mtl, syb, HUnit
  Exposed-Modules:  Control.CFLP
  Other-Modules:    Control.Monad.Constraint,
                    Control.Monad.Constraint.Choice,
                    Data.LazyNondet,
                    Data.LazyNondet.Bool,
                    Data.LazyNondet.List,
                    Control.CFLP.Tests,
                    Control.CFLP.Tests.CallTimeChoice
  Hs-Source-Dirs:   src
  Extensions:       ExistentialQuantification,
                    MultiParamTypeClasses,
                    FlexibleInstances,
                    FlexibleContexts,
                    TypeFamilies,
                    RankNTypes

Source-Repository head
  type:     git
  location: git://github.com/sebfisch/cflp.git