MuCheck-QuickCheck (hackage): QuickCheck adapter for MuCheck
Keywords: gpl|library|program|testing