@hackage cflp0.0.2

Constraint Functional-Logic Programming in Haskell

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.