Binary Decision Diagramを扱うためにCUDDをインストール

お試し中のメモ。

ダウンロードとかパッケージの情報

• http://vlsi.colorado.edu/~fabio/
• https://github.com/ivmai/cudd

インストール

• デフォルトでconfigureするとエラーが出た（記憶がある）ので、g++-mp-6を指定してビルドするように修正（環境でMacPortsを利用していることを想定）
• インストールした結果、/usr/local/includeにファイルが置かれるようになった（おそらく変更できる）

./configure CC=gcc-mp-6 CXX=g++-mp-6 --enable-silent-rules --enable-shared --enable-obj
make
sudo make install

はじめてのビルド

• ソースファイル
  • このプログラムのソースはこちら
  • http://web.mit.edu/sage/export/tmp/y/usr/share/doc/polybori/cudd/node5.html

#include <iostream>
#include "cuddObj.hh"

using namespace std;

int main() {
  Cudd mgr;
  BDD x = mgr.bddVar();
  BDD y = mgr.bddVar();
  BDD f = x * y;
  BDD g = y +!x;
  cout << "f is" << (f <= g ? "" : " not")
       << " less than or equal to g" << endl;
  return 0;
}

• ビルド方法

g++ -Wall -o main main.cpp -I/usr/local/include -lcudd

• 実行結果
  • おそらく実行されている感じ

./main
#> f is less than or equal to g

next

• もう少し複雑な例題をC++側のインタフェースを利用して使って見る（動作確認含む）