sparsecheck-0.1.0.2: A Logic Programming Library for Test-Data Generation

The sparsecheck package

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

Properties

Versions0.1, 0.1.0.1, 0.1.0.2
Dependenciesbase (<5), containers
LicenseBSD3
Copyright2007, Matthew Naylor
AuthorMatthew Naylor
Maintainermfn@cs.york.ac.uk
CategoryDevelopment
Home pagehttp://www.cs.york.ac.uk/~mfn/sparsecheck/
Upload dateMon Dec 12 16:38:37 UTC 2011
Uploaded byKidoTakahiro
Built onghc-7.2

Modules

Downloads