cudd

0熱

1答えて

私はCUDDの可変順序付けヒューリスティックを他のプログラムに活用しようとしています。私はBDDを作成し、サイズを最小化するためにいくつかの可変順序を試しました。そして今、変数の順序付けを抽出したいと思います。これどうやってするの？ this answerによると、dd pythonパッケージは、各変数のレベルを調べる方法を提供しますが、C/C++インターフェイスでは対応する関数が表示されません。

1熱

1答えて

CUDD：BDDチャイルドにアクセスする

私はCUDD C++インターフェイスを使用しています。私はこのライブラリに関する多くの情報が見つかりません。 BDDの2人の子供を取得するにはどうすればよいですか？例えば： Cudd mgr; BDD x = mgr.bddVar(); BDD y = mgr.bddVar(); BDD f = x * y; は今、Fで、私はその子、その後、他の子供を取得したいです。ドキュメントで

0熱

1答えて

CUDDライブラリを使用したリバーシブルベンチマークの読み方

私はバイナリ決定図の可変順序付けに取り組んでいます。これまで、非可逆回路を使用してきました。しかし、いくつかの方法を実装するためにリバーシブルベンチマークを使用する必要はありません。しかし、C言語でCUDDライブラリを使ってベンチマークファイル（例：blif、kiss、slifファイル）を読む方法はありません。私はインターネット上の利用可能なリソースを探しました。誰かが助けてください方法を見つける

0熱

1答えて

CUDDパッケージ：問題コンパイルとメイクファイル

私は、CUDDパッケージのバージョン3.0.0の使い方を学ぶための簡単なプログラムを実行しようとしています。私はパッケージをダウンロードしてインストールしました：（1- ./configure 2- make 3- make check）。私は、次の簡単なプログラム作成： #include <stdio.h> #include "cudd.h" #include "util.

3熱

1答えて

CUDDでBLIFファイルからインポートしたBDDを操作する

BLUファイルをCUDDパッケージにインポートしようとしていますが、そこからBDDを作成して操作しています。私はntrパッケージを使用してBLIFファイルをインポートすることができました。しかし、結果のBDDでどのように変数やノードにアクセスするのか分かりません。関数用に私自身のBDDを作成した場合、私は変数を作成して別の操作/操作を行うためにそれらを呼び出すことができます。しかし、BLIFイン

2熱

2答えて

BDDの変数をCUDDパッケージで置き換えるにはどうすればよいですか？

DdManagerには、x, y, x', y'という変数があり、BDDはxとyで作成されています。は、今私は、すなわち、x'とy'によって構築された、同一のBDDを取得し、y'にx'からx、yを変更したいです。 CUDDパッケージを使用してこれを取得するにはどうすればよいですか？私はモデル検査アルゴリズムを実装したいときにこの問題に遭遇しました。私はこの操作を実装する方法を知りたいか、シンボリ