プログラム buddyscout.sf.net

バディスカウトはBuDDy (バイナリ決定図ライブラリ) と GHC (グラスゴーハスケルコンパイラ) 間のインターフェイスです。このプログラムを使用すると、Haskellプログラム内から BDD ライブラリを使用できます。