Name:               sparsecheck
Version:            0.1
Copyright:          2007, Matthew Naylor
Maintainer:         mfn@cs.york.ac.uk
Homepage:           http://www.cs.york.ac.uk/~mfn/sparsecheck/
Build-Depends:      base, haskell98
License:            BSD3
License-File:       LICENSE
Author:             Matthew Naylor
Synopsis:           A Logic Programming Library for Test-Data Generation
Description:
    SparseCheck is a library for logic programming in Haskell that
    allows convenient description of test-data generators.
Category:           Development
Extra-Source-Files:
    examples/Mate.hs
    examples/Mux.hs
    examples/Tree.hs
Exposed-modules:
    SparseCheck