tom*_*ash 3 logic solver truthtable binary-decision-diagram
是否有一个软件包(最好是应用程序,而不是库)从给定的真值表(以某种文本格式)创建精简二阶决策图(ROBDD)？
小智 5
您也可以尝试这样:http://formal.cs.utah.edu:8080/pbl/BDD.php
它是迄今为止我使用的BDD的最佳工具.
归档时间：
12 年，7 月 前
查看次数：
7332 次
最近记录：
6 年，11 月 前