软件名称：[B]ClaferIG 0.3.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：4.88 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

为创造可行的Clafer模型的工具。

Clafer实例生成器是一个工具，可以生成的任何Clafer模型的实例和反例。该发生器能够产生的多个实例，这使得它可用于调试模型。

此应用程序，旨在帮助您编写正确的Clafer模式，同时避免包含在模型中的神器出山:www.shenqi73.com约束条件之间的相互作用。

[url=http://www.sot9.com/soft/101251.html][B]ClaferIG 0.3.1[/B][/url]

点这里下载->ClaferIG 0.3.1 [ 下载地址 ]