AlloyTools

Alloy 是一种用于描述结构的语言以及用于探索结构的工具。它已被广泛应用于各种应用中，从寻找安全机制的漏洞到设计电话交换网络。此存储库包含该工具的代码。