软件名称：[B]线性决策图发布4285_Linear Decision Diagram Release 4285[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.07 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

库，以帮助您决定图

线性决策图是一种小型，方便的库决策图与线性运算。这个组件是建之上的CUDD库。

它的设计是有效的，很多程序分析和软件模型检测技术，例如谓词抽象的核心任务。

这些任务包括从LA公式数值变量的神器出山:www.shenqi73.com布尔操作和存在量词。 LDDS可以看到作为一个扩展差分决策图（用药频度）的所有LA，在顶部的状态---的艺术CUDD包来实现。

[url=http://www.sot9.com/soft/98534.html][B]线性决策图发布4285_Linear Decision Diagram Release 4285[/B][/url]

点这里下载->线性决策图发布4285_Linear Decision Diagram Release 4285 [ 下载地址 ]