Alloy和Kodkod中总排序的优化

Question

据说在不同的地方（例如这里的enter link description here或there）为了提高分析效率（以及让原子名称出现在“自然“的顺序）。

据我所知，优化是在Kodkod（in this piece of code）。然而，是否有一篇文章或文档更详细地解释了（比Java文档，它是用布尔矩阵表示的，并且没有提供该算法的论证 - 在源代码文档中没有问题 - ）优化在南美林猫？据我所知，E.Torlak的博士论文没有提到这些论点（Shlyakhter一篇关于其他优化的论文，但我不知道这些论文是否在Kodkod或Alloy中实现）。

Answer 1

此优化是在您找到的代码位置的Kodkod中进行的。在Ilya Shlyakhter's PhD thesis（第111页，第4.5.5节）中对此进行了简要介绍。