Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Constraint Functional-Logic Programming in Haskell
Haskell

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
src
.gitignore
INSTALL
LICENSE
Makefile
README
Setup.lhs
Test.lhs
cflp.cabal
configure

README

# Constraint Functional-Logic Programming in Haskell

The `cflp` package provides a module `Control.CFLP` with 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.

Consult the LICENSE file for copyright issues, the INSTALL file for
installation instructions, or the [project website][cflp] for
background information on this package.

[cflp]: http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html

Sebastian Fischer,
sebf@informatik.uni-kiel.de

Something went wrong with that request. Please try again.