线性决策图发布4285_Linear Decision Diagram Release 4285下载地址

库，以帮助您决定图

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

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

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