满足约束下的数据生成怎么做

Question

现在需要一个随机测试的引擎，希望能通过给定各个参数的范围和参数约束，从而生成满足约束的数据，举个例子，

参数 取值
x 64，128，……，2^n，2048
y 1~24
z（每个y1个） 64，128，……，2^n，2048

约束条件：
x > z0+……+zy

现在有这样的现成工具吗？