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

ฐานข้อมูลการหักลดหย่อนตาม BDD ซึ่งเป็นการดําเนินการของ Datalog ที่ใช้ไดอะแกรมการตัดสินใจแบบไบนารีเป็นโครงสร้างข้อมูลพื้นฐาน สิ่งนี้ช่วยให้สามารถแสดงถึงความสัมพันธ์ขนาดเอ็กซ์โพเนนเชียลได้อย่างมีประสิทธิภาพ