标签： alloy
我在Alloy中写了一个包含100个签名的复杂模型，每个签名都有一些基于抽象签名的关系。当我尝试解决模型时会出现问题。大约两个小时后，分析器返回一条消息，说明“解算器耗尽内存，缩小范围或增加内存或简化模型”。范围已减少到 1 。此外，内存增加到最大限制。我在两台机器上做了这个实验（我的笔记本电脑带有 8GB 内存，我的桌面带有 4GB ），我仍然收到相同的消息。
有没有人面临这种问题？ Alloy能够处理如此复杂的模型吗？
此致