โปรแกรมตาม bdd-tree.sf.net

ผลิตแพคเกจซอฟต์แวร์เต็มรูปแบบโดยใช้การแสดงแผนภาพการตัดสินใจไบนารี (BDD) เพื่อจัดการแผนที่ตรรกะสําหรับวัตถุประสงค์การเพิ่มประสิทธิภาพการออกแบบคูณ{like(A+B)(C)(D)}ใน C++ Core.C++ GUI โมดูล VB6 Verilog Quin McCluskey มัลติฟังก์ช