JavaBDD 0.6

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

に関しては JavaBDD

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