Alloy Analyzer 4.1.10- Generting Large datasets

84 Views Asked by At

I am new to Alloy. I want to generate large data sets with the help of Alloy, but I am not sure how to do it. I am able to generate data in small amount. But want to generate large amount of data which is unique. I am using run command currently. And its perfectly fine, if I get data in format of Name_0, Name_1.. (for First Name) Any tip in this regard will be a great help.

0

There are 0 best solutions below