โปรแกรมตาม buddy.sf.net

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