本文介绍了从真值表创建简化的有序二元决策图(ROBDD)的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
是否有一个软件包(最好是应用程序，而不是库)从给定的真值表(以某种文本格式)中创建降阶二元决策图(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)的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！