sparsecheck: 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.
| Version | 0.1 |
|---|---|
| Dependencies | base, haskell98 |
| License | BSD3 |
| Copyright | 2007, Matthew Naylor |
| Author | Matthew Naylor |
| Maintainer | mfn@cs.york.ac.uk |
| Category | Development |
| Home page | http://www.cs.york.ac.uk/~mfn/sparsecheck/ |
| Upload date | Tue Sep 18 14:18:25 UTC 2007 |
| Uploaded by | MatthewNaylor |
| Build failure | ghc-6.10 (log), ghc-6.8 (log) |
Modules
Downloads
- sparsecheck-0.1.tar.gz (Cabal source package)
- package description (included in the package)