Given a model and constraints in json, test data is generated based on allpairs methodology and constraints applied to prune the data set