软件名称：[B]合金分析仪4.1.10_Alloy Analyzer 4.1.10[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：3.91 MB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

基于一阶逻辑的

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

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

要求：

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

此版本中的新功能：

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

[url=http://www.sot9.com/soft/64259.html][B]合金分析仪4.1.10_Alloy Analyzer 4.1.10[/B][/url]

点这里下载->合金分析仪4.1.10_Alloy Analyzer 4.1.10 [ 下载地址 ]