cflp-2009.2.1: cflp.cabal

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