Name:               sparsecheck
Version:            0.1.0.2
Copyright:          2007, Matthew Naylor
Maintainer:         mfn@cs.york.ac.uk
Homepage:           http://www.cs.york.ac.uk/~mfn/sparsecheck/
Build-Type: Simple
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
Cabal-version:      >= 1.6
Extra-Source-Files:
    examples/Mate.hs
    examples/Mux.hs
    examples/Tree.hs
    sparsecheck.dpatch

-- source-repository head
--    type: darcs
--    location: http://www.cs.york.ac.uk/fp/darcs/sparsecheck

Library
  Build-Depends:      base < 5, containers
  Exposed-modules:
    SparseCheck