从真值表创建简化的有序二元决策图(ROBDD) [英] Create Reduced Ordered Binary Decision Diagram (ROBDD) from truth table

问题描述

是否有一个软件包(最好是应用程序，而不是库)从给定的真值表(以某种文本格式)中创建降阶二元决策图(ROBDD)?

Is there a software package (preferable an application, not library) that creates Reduced Ordered Binary Decision Diagrams (ROBDDs) from a given truth table (in some text format)?

推荐答案

您也可以尝试以下操作: http://formal.cs.utah.edu:8080/pbl/BDD.php

You can also try this: http://formal.cs.utah.edu:8080/pbl/BDD.php

这是到目前为止我使用的BDD的最佳工具.

It is the best tool for BDDs I used so far.

这篇关于从真值表创建简化的有序二元决策图(ROBDD)的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！