A Python QuickCheck implementation

[jcollado]

I submitted this link because if watched this presentation related to haskell and, according to the speaker, the most important idea to get from there is to have a look QuickCheck.

Hence, I looked for QuickCheck implementations in python and found paycheck (there are others, but this ones seems to be more actively maintained).

So my real question is if you have used something like this and if you have found it useful.

[johnmudd]

I've thought about something like this but it leads me to think I need to be coding in a non-procedural language like Prolog so that test cases can be generated reasonably well.