data-structures - Windows 用の二分決定図ライブラリ

Question

Windows でjincをコンパイルしようとしたところ、すぐに何百ものコンパイラ エラーが発生したため、Windows 用にビルドできる高品質の BDD ライブラリを探しています。できれば C または C++ ですが、バインドできる限りは満足​​しています。

Answer 1

私は最近、CUDD v2.4.2 を Windows / Visual Studio 環境にインストールすることに取り組みました。

そこにはドキュメントがありますが、私の意見では、それをインストールして非 Unix 環境で動作させる方法の全体像を示しているものはありません。たとえば、Makefile に関する問題に対処する方法、プロジェクト内の *.a C アーカイブ ファイルにリンクする方法、cpu_stats.c ファイルに関する小さな問題などです。整数計画法など、多くの問題の複雑さを軽減する手段。

私は最近、VS 2010 でそれを実現することができました。私のブログの詳細はこちら.

Answer 2

Cuddは良いです：http：//vlsi.colorado.edu/~fabio/CUDD/ VisualStudio2005でコンパイルしました。

コンパイル済みのバイナリが存在するようです：http ：//web.cecs.pdx.edu/~alanmi/research/soft/softPorts.htm

元研究者として、2年前、カッドは効率に関してクラス最高でした。