合金分析仪4.1.10_Alloy Analyzer 4.1.10下载地址

基于一阶逻辑的

结构建模语言，表达复杂的结构限制和行为

合金分析仪是一种约束解算器，提供全自动模拟和检查合金语言。

要求：

·的神器出山:www.shenqi73.comJava

此版本中的新功能：

·包括一个新的原子编号启发式应UTIL /订购编号更直观;也升级到最新Kodkod的，并升级到SAT4J 2.0.5。