This is an implementation of QuickCheck for python. This project is actually being ported from the QuickCheck implementation done in F#, FsCheck.
This is currently an incomplete port that I've just started, with only the Random
logic being converted over.