@hackage / constrained-generators

Framework for generating constrained random data using a subset of first order logic