README.md

smt-random-parent

This is the parent project for the smt-random libraries.

These libraries were inspired by an internal library built by Paul Jacobs to help with Mockist TDD.