buddy 2.4

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.5/5 - ‎2 ‎โหวต

เกี่ยวกับ buddy

ไลบรารีไดอะแกรมการตัดสินใจแบบไบนารีที่มี : การดําเนินงาน BDD เวกเตอร์ที่มีประสิทธิภาพสูงจํานวนมาก การจัดลําดับตัวแปรแบบไดนามิก, การเก็บขยะอัตโนมัติ อินเตอร์เฟซc++กับการอ้างอิงอัตโนมัตินับ, และอื่น ๆ อีกมากมาย