CUDD C ++接口，用于将布尔值转换为BDD以及一组最小项(转换为割集)
我正在与( https://github.com/ivmai/cudd )一起使用以下重复过程的目标: (1)输入 :(相干，非递减)布尔函数表达式top = a_1 a_2 a_3 ... + x_1 x_2 x_3 ... + z_1 z_2 z_3 ...).我正在使用的布尔型有数千个变量(ai ... zj)和数百个术语. (2)处理:将布尔值转换为BDD以简化最小项的计算，或
..
cudd相关内容
如何将qmake项目移植到cmake
我想“移植" 此C ++项目，该项目使用 qmake (即 Tool.pro 文件)，到 cmake . 本质上，我想问一下如何通过查看上面的 Tool.pro 文件来编写必要的 CMakeLists.txt 文件. 这是我到目前为止所做的: include_directories(../lib/cudd-2.5.0/include BFAbstractionLibrary)add
..
CUDD包:传递特定变量顺序的方法?
我正在使用CUDD软件包进行BDD操作.我想知道是否有人知道一种传递特定变量顺序的方法，以指示程序在构建BDD时使用此顺序.我正在使用变量数量相对较少的布尔函数. 实际上，即使有一种方法可以将特定的输入变量传递给程序，以使BDD成为根目录，这也将达到我的目的.如果有人知道该怎么做，那么我将非常感谢您的帮助.我浏览了文档，但没有找到任何达到此效果的东西.也许我错过了一些事情. 解决方案
..
使用CUDD的BDD/ZDD交集
我有一些套组合，我想找出两个说一下之间的交集函数.然后我要用ZDD表示相交的结果. 我正在考虑使用 CUDD软件包来做到这一点. 一个例子: 所有具有汉明距离> = 2 和 1100 = 的4位字符串 {0001，0010，0011,0101，0110，0111，1001，1010，1011} 所有具有汉明距离> = 2 和 0000 = 的4位字符串 {0
..
扩展独特的元组找到重新$ P $的关系由BDD psented
考虑{＆LT; 1,2>，＆LT; 1,3>，＆LT; 1,7>，＆LT; 0,4>}为一组关系的元组R.现在考虑R是再$ psented（通过其成员函数）p $由BDD。也就是说，该BDD重新presentingř取决于变量{X1，X2，Y1，Y2，Y3}其中{X1，X2}被用于重新present每一元组的第一个元素和{Y1，Y2 ，Y3}被用于重新present第二元件。 现在，考虑寻找该组
..