お試し中のメモ。 ダウンロードとかパッケージの情報 http://vlsi.colorado.edu/~fabio/ https://github.com/ivmai/cudd インストール デフォルトでconfigureするとエラーが出た（記憶がある）ので、g+...