@hackage sparsecheck0.1

A Logic Programming Library for Test-Data Generation

SparseCheck is a library for logic programming in Haskell that allows convenient description of test-data generators.