プログラム bdd-tree.sf.net

バイナリ決定図 (BDD) 表現を使用して完全なソフトウェア パッケージを生成し、設計最適化目標の論理マップを操作する {like(A+B)(C)(D)}C++ Core.C GUI で作成します。VB6 Verilog モジュール クイン マクラスキー多機能操作