constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic