C 用の二分決定図 (BDD) ライブラリ、またはテスト済みで適切なドキュメントがあるその他の言語はありますか?
1829 次
4 に答える
4
CMU から BDD ライブラリをチェックします。
また、基本的な参照目的のために、The Art of Computer Programming の Pre-Facicle 1b はすべて BDD に関するものです。これはgzipされた追記です。Knuth は、準備中に書いた多数のプログラムを Programs to Read ページに掲載しています。
于 2009-01-20T20:08:54.047 に答える
2
CUDDをチェックしてください。
Windows 環境での設定方法については、こちらをお試しください。
于 2011-08-31T21:13:03.453 に答える
1
パッケージの完全なリストとしての、外部リンクセクションのバイナリ デシジョン ダイアグラムウィキペディア エントリ。
于 2009-10-30T07:42:11.803 に答える