@hackage sparsecheck0.1.0.3

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.