mercury/extras/quickcheck
