Atur cara mengikut bdd-tree.sf.net
-
Binary Decision Diagram Percuma
menghasilkan pakej perisian penuh menggunakan perwakilan rajah keputusan perduaan (BDD) untuk memanipulasi peta logik untuk objektif pengoptimuman reka bentuk membiak{like(A+B)(C)}In C++ Core.C++ GUI. VB6 Modul Verilog Quin M