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.
Downloads
- sparsecheck-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.0.1, 0.1.0.2, 0.1.0.3 |
|---|---|
| Dependencies | base, haskell98 [details] |
| License | BSD-3-Clause |
| Copyright | 2007, Matthew Naylor |
| Author | Matthew Naylor |
| Maintainer | mfn@cs.york.ac.uk |
| Uploaded | by MatthewNaylor at 2007-09-18T14:18:25Z |
| Category | Development |
| Home page | http://www.cs.york.ac.uk/~mfn/sparsecheck/ |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 3119 total (10 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |