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