z3 の固定小数点 (パス Z3-4.0/examples/fixedpoints) でサンプルを試してみたいのですが、buddy/fdd.h と buddy/bdd.h (bdd_table.h で定義) がないため、ソース ファイルをコンパイルできません。これらのファイルの場所を教えてください。感謝
1 に答える
1
はい、BuDDy は弊社が開発したものではありません。Jorn Lindによって作成されました。BuDDy はhttp://sourceforge.net/projects/buddy/からダウンロードできます。
于 2012-06-20T14:22:57.460 に答える