窗口的二進制決策圖庫

Question

在試圖獲得在windows下編譯的jinc並快速運行到數百個編譯器錯誤後，我正在尋找一個將爲Windows構建的高質量BDD庫。最好在C或C++中，但只要我可以綁定它，我很高興。

Answer 1

CUDD是好：http://vlsi.colorado.edu/~fabio/CUDD/我已經在Visual Studio編譯它2005年

似乎有存在的預編譯的二進制文件：http://web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

作爲前研究員，我可以告訴你，兩年前， Cudd在效率方面是班上最好的。

Answer 2

我最近在安裝Windows/Visual Studio環境中的CUDD v2.4.2時遇到了麻煩。

這裏有文檔，但在我看來，沒有一篇文章給出瞭如何安裝這個東西並讓它在非Unix環境中工作的完整畫面。例如，如何解決Makefile的問題，如何鏈接到項目中的* .a C存檔文件，與cpu_stats.c文件有關的小問題等等。這是一種遺憾，因爲CUDD似乎相當強大降低許多問題複雜性的手段，如整數編程。

我最近設法讓它在VS 2010中。我的博客詳細信息here。

Answer 3

比蒂是越來越好.. http://biddy.meolic.com/

OK，這是一個主觀的要求，因爲我是比蒂的主要作者。然而，儘管比蒂沒有那麼多的功能，但它不具有如此強大和改進的內存管理，並且它沒有在諸如CUDD的許多項目中進行過測試，因此它是一個可行的庫。 通過使用它，你可以幫助改善它。我的團隊是積極靈活的 ，我們可以實現您需要的任何功能。