Guile-QuickCheck
****************

This Guile library provides tools for randomized, property-based
testing.  It follows closely the QuickCheck library written in
Haskell, with inspiration from the Racket version.  You can use it to
define a property (a predicate with specifications for its inputs) and
test it by generating many random inputs and seeing if it holds.

Installing
==========

To install, you may use the standard GNU approach:

    ./configure
    make
    make install

If you are installing from a Git checkout, you will need to run

    ./autoreconf -vif

to generate the 'configure' script and Makefile.  To do so, you will
need Autoconf, Automake, and pkg-config.

Copying Guile-QuickCheck
========================

This is free software released under the GNU GPLv3 (or later).  See
'COPYING' for the full license.  Enjoy!

Copying this file
=================

This file was written by Timothy Sample <samplet@ngyro.com>.

To the extent possible under law, the author(s) have waived all
copyright and related or neighboring rights to this file.

You should have received a copy of the CC0 legalcode along with this
work.  If not, see <http://creativecommons.org/publicdomain/zero/1.0/>.
