cudd

0熱度

1回答

任何人都可以請告訴我，是否可以安全地從CUDD中的經理中刪除變量？例如：我通過v1 = Cudd_bddNewVar(manager)註冊了兩個變量;和v2 = Cudd_bddNewVar(manager)。我可以從經理中刪除v2嗎？

0熱度

1回答

我正在研究二元決策圖的可變順序。直到現在我們已經使用了不可逆電路。但是，我們不需要使用可逆基準來實施一些方法。但是我沒有辦法使用C語言的CUDD庫讀取基準文件（例如blif，kiss，slif文件）。我在internet上查找可用資源。請有人幫我找出方法。

2熱度

2回答

如何用CUDD包替換BDD中的一些變量？

假設DdManager有四個變量：x, y, x', y'，我有一個由x和y構建的BDD。現在我想將x更改爲x',y至y'，即得到由x'和y'構建的完全相同的BDD。如何使用CUDD軟件包得到此結果？我想要實現模型檢查算法時遇到此問題。我想知道如何實現這個操作，或者我是否誤解了符號模型檢查算法？非常感謝！

0熱度

1回答

在Windows設置CUDD 2.5.1使用的cygwin

我收到以下消息，同時建立CUDD 2.5.1使用的命令提示符下的cygwin： SH ./setup.sh 化妝：SH：找不到命令的Makefile ：224：目標'生成'的配方失敗使*** [構建]錯誤127 我已經將CUDD和cygwin的目錄都保存在C：/（Windows 7,64位）中。這是生成文件的生成部分：構建： SH ./setup.sh @ +爲$（DIRS）DIR;做\

1熱度

2回答

CUDD的布爾表達式解析器

我在C上使用CUDD庫來製作二進制決策圖。我想知道是否有某種方法將布爾表達式作爲字符串轉換爲二元決策圖。謝謝！

0熱度

1回答

路口使用CUDD

2組的BDD的，我想找到兩個BDD的交點爲以下兩個布爾函數： F=A'B'C'D'=1 G=A XOR B XOR C XOR D=1 這裏是我的代碼： int main (int argc, char *argv[]) { char filename[30]; DdManager *gbm; /* Global BDD manager. */

1熱度

1回答

使用Cudd訪問衝突讀取位置

我想在Visual C中使用Cudd包實現算法。我必須遞歸地使用一個函數。但它一直在一個特定的線路上拋出一個錯誤。錯誤是訪問衝突讀取位置0x00594a5ct。並且它正在抵制temp_bdd_result的使用。我無法弄清楚爲什麼會發生這種情況，因爲在temp_bdd_result-bdd_node & bdd_result中使用的值都包含值。那麼他們爲什麼不能訪問。或者這個錯誤指向了我無法看到的

0熱度

1回答

CUDD包：問題編譯和生成文件

我想運行一個簡單的程序來學習如何使用CUDD包版本3.0.0。我下載了軟件包並安裝了它：（1- ./configure 2- make 3 make check）。我創建了下面的程序： #include <stdio.h> #include "cudd.h" #include "util.h" int main (int argc, char *argv[])

2熱度

1回答

如何將qmake項目移植到cmake

我想「移植」this C++ project，它使用qmake（即Tool.pro文件）來構建，移植到cmake。本質上，我正在問如何通過查看上面的Tool.pro文件來編寫必要的CMakeLists.txt文件。這是我迄今所做的： include_directories(../lib/cudd-2.5.0/include BFAbstractionLibrary) add_executa

3熱度

2回答

Cudd包裝：二進制decison圖

任何人都可以指出一些關於Cudd包的好材料。我在這裏尋找一些簡潔的問題。在http://vlsi.colorado.edu/~fabio/CUDD/似乎沒有給出一個很好的介紹。歡迎任何有關BDD及其應用的視頻講座。感謝和問候