JavaBDD 0.6

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

BDDを操作するためのJavaライブラリ(バイナリ決定図)。バイナリー決定図は、モデルチェック、公式検証、回路図の最適化などで広く使用されています。

バージョン履歴

  • バージョン 0.6%20Win32%20binary に転記 2005-05-09
    いくつかの修正と更新
  • バージョン 0.6 Win32 binary に転記 2005-05-09

プログラムの詳細

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