回答情况：
提问时间：
问题标签：
0回答
我正在尝试在另一个程序中利用CUDD的变量排序启发式。我已经创建了一个BDD，尝试了几个变量排序，看看哪一个最大，现在我想提取变量排序。我该怎么做呢？是否需要通过cuddInt.h访问CUDD内部
浏览 4提问于2017-11-29得票数 0
1回答
-3.0.0/cudd -I /path/to/cudd-3.0.0/util -I /path/to/cudd-3.0.0/ -static -L /path/to/cudd-3.0.0/cudd/.我使用的是cudd3.0.0软件包。在此之后，我将在执行过程中得到这个分段错误：请建议正确的方式来执行这一点，为什么我要得到这个错误？.
浏览 4提问于2019-12-17得票数 0
回答已采纳
下面的代码按照预期工作，给出了图片中的图表(表示节点bdd)：Cudd_Ref(v1);
Cudd_Ref(v2);
Cudd_Ref(v3);
DdNode *tmp1 = Cudd_bddIte(gbm, v1, Cudd_ReadLogi
浏览 4修改于2018-09-15得票数 1
1回答
这是以下帖子中@DCTLib建议的后续行动。
同时，在他的部分(b)建议中，@DCTLib发布了一个指向的链接。我一直在试着读这个节目。在经典的Somenzi论文中有一个递归函数，即二进制决策图，它描述了计算满意分配数的算法(图7)。我一直在尝试比较这两种动物，鼻涕虫和图7，但是很难看到相似之处。但对我来说，C是最难以理解的。你知道鼻涕虫BFCudd是否基于索梅泽图7 @DCTLib吗？
浏览 9提问于2020-08-24得票数 0
回答已采纳
(manager);{ Cudd_Ref(bdd_result); bdd_node=Cudd_bddAnd(manager,e,temp_bdd_node); temp_bdd_result=Cudd_bddIthVar(man
浏览 4修改于2014-04-28得票数 1
回答已采纳
. */ DdNode *bdd, *var, *tmp_neg, *tmp; bdd = Cudd_ReadOne(gbm); /*Returns the logic= Cudd_Not(var); /*Perform NO
浏览 2修改于2017-10-15得票数 1
回答已采纳
我正在尝试运行一个简单的程序来学习如何使用CUDD软件包3.0.0版本。我下载了这个包并安装了它：( 1- /configure 2- make3- make )。我创建了以下简单的程序： #include "cudd.h" DdManager *gbm; /* Global BDD manager. *
浏览 3修改于2017-03-09得票数 1
回答已采纳
. */ DdNode *bdd, *var, *tmp_neg, *tmp,*f,*g; bdd = Cudd_ReadOne(gbm);Cudd_bddAnd(gbm, tmp_neg, bdd);
浏览 13修改于2016-08-22得票数 0
(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0); Cudd_Ref(bdd);gcc -I /home/subhadip/cudd-3.0.0 -I /home/subhadip/cudd-3.0.0/util -I /home/subhadip/cudd</em
浏览 2修改于2019-05-15得票数 0
回答已采纳
在命令提示符下使用cygwin设置CUDD 2.5.1时，我收到以下消息: sh .setup.sh make: sh: command not found :224: recipe for target ' build‘failed make *build error 127
我已经将CUDD
浏览 6提问于2015-08-28得票数 0
我正在与CUDD ()合作，使用bdd和zdd功能进行模型检查，我想知道如何对zdd进行量化。
对于bdds，有函数bddExistAbstract和bddUnivAbstract (参见)。
浏览 4提问于2020-08-05得票数 4
我浏览了CUDD (http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/cuddIntro.html)的在线文档，这是一个二进制决策图
浏览 46提问于2021-11-21得票数 0
回答已采纳
朱莉娅有一个名为CUDD_jll的二进制决策图包，可从JuliaHub获得。该软件包能够在Apple M1体系结构上安装和编译。但是，来自旧包CUDD的用户界面似乎与CUDD_jll不兼容。有没有人会分享这样的信息？
浏览 12提问于2022-10-21得票数 2
我正在尝试将一个BLIF文件导入到CUDD包中，从中创建一个BDD，然后执行一些操作。我已经设法使用ntr包导入了BLIF文件。但是，我不知道如何访问结果BDD中的任何变量或节点。NULL; net1 = Bnet_ReadNetwork(fp1,1);dd = Cudd_Init(0,0,CUDD_UNIQUE_SLOTS,CUDD_CACHE_SLOTS,0);
浏览 3提问于2016-09-15得票数 3
有没有人可以告诉我，在CUDD中安全地删除管理器中的变量是可能的？例如:我通过v1 = Cudd_bddNewVar(manager)和v2 = Cudd_bddNewVar(manager)注册了两个变量。我可以从管理器中删除v2吗？
浏览 8修改于2017-10-15得票数 2
x1 )，使用CUDD表示变量x0和x1的节点？我知道上面的布尔公式简化为常数函数1，但我仍然想要一个BDD，它不简化公式，而是表示为包含x0和x1的节点的BDD‘。如果不是在CUDD中，是否可以使用其他工具这样做？
浏览 3修改于2018-06-04得票数 2
回答已采纳
我已经成功地使用CUDD包创建了BDD。我也能够使用一些已经构建的工具来可视化它。我感兴趣的是使用DDDMP软件包CUDD将BDD存储在文件中。
浏览 6修改于2020-01-27得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号