buddy 2.4

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.5/5 - ‎2 ‎投票

バイナリ決定図ライブラリ, と: 多くの非常に効率的なベクトル化されたBDD操作、 動的変数の並べ替え、 自動ガベージコレクション、 自動参照カウントを備えた C++ インターフェイス そしてはるかに。

バージョン履歴

  • バージョン BuDDy%202.4 に転記 2004-07-28
    いくつかの修正と更新
  • バージョン BuDDy 2.4 に転記 2004-07-28

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: buddy.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 2.4
  • プラットフォーム: linux