Java Decision Diagram Libraries 103

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

このプロジェクトには、2 つの異なるバイナリ決定図 (BDD) ライブラリが含まれています: JBDD: 2 つの人気のある BDD ライブラリ、CUDD と BuDDy への Java インターフェイス。JDD: BDD、Z-BDDなどをサポートするネイティブJavaライブラリ(グラフ/オートマトン/ペトリネット/SAT)

バージョン履歴

  • バージョン JDD.jar-build103 に転記 2009-03-10
    いくつかの修正と更新
  • バージョン JDD.jar-build103 に転記 2009-03-10

プログラムの詳細

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