プログラム javabdd.sf.net

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