バディスカウトはBuDDy (バイナリ決定図ライブラリ) と GHC (グラスゴーハスケルコンパイラ) 間のインターフェイスです。このプログラムを使用すると、Haskellプログラム内から BDD ライブラリを使用できます。
バージョン履歴
- バージョン BuddyScout%200.3 に転記 2008-05-29
いくつかの修正と更新 - バージョン BuddyScout 0.3 に転記 2008-05-29
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: buddyscout.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.3
- プラットフォーム: linux