smartcheck (hackage): A Smarter QuickCheck
Keywords: bsd3|library|program|testing