SolverQuickCheck.hs 336 Bytes