Name:          cflp
Version:       0.2.0
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 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
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, ghc, mtl, syb, HUnit
  Exposed-Modules:  Control.CFLP
  Other-Modules:    Control.Monad.Constraint,
                    Control.Monad.Constraint.Choice,
                    Data.LazyNondet,
                    Data.LazyNondet.Types,
                    Data.LazyNondet.Types.Bool,
                    Data.LazyNondet.Types.List,
                    Data.LazyNondet.UniqueID,
                    Data.LazyNondet.Matching,
                    Data.LazyNondet.Narrowing,
                    Data.LazyNondet.Primitive,
                    Data.LazyNondet.Combinators,
                    Control.CFLP.Tests,
                    Control.CFLP.Tests.CallTimeChoice
  Hs-Source-Dirs:   src
  Extensions:       ExistentialQuantification,
                    MultiParamTypeClasses,
                    FlexibleInstances,
                    FlexibleContexts,
                    PatternGuards,
                    TypeFamilies,
                    RankNTypes
  Ghc-Options:      -Wall -fno-warn-orphans

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