Chương trình theo bdd-tree.sf.net

sản xuất gói phần mềm đầy đủ bằng cách sử dụng biểu đồ quyết định nhị phân (BDD) để thao tác bản đồ logic cho các mục tiêu tối ưu hóa thiết kế nhân {like(A + B) (C) (D) }Trong C ++ Core.C++ GUI. VB6 Verilog Modules Quin McClu