合金分析仪4.1.10-生成大型数据集

Question

我是Alloy的新手。我想在Alloy的帮助下生成大型数据集，但我不知道该怎么做。 我能够少量生成数据。但是想要生成大量独特的数据。 我目前正在使用run命令。如果我获得Name_0，Name_1 ..（对于名字）格式的数据，那就完全没问题了 在这方面的任何提示都将是一个很大的帮助。