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

โครงการนี้ประกอบด้วยไลบรารีไดอะแกรมการตัดสินใจไบนารี (BDD) ที่แตกต่างกันสองไลบรารี: JBDD: อินเทอร์เฟซ Java ไปยังไลบรารี BDD ยอดนิยมสองไลบรารี CUDD และ BuDDy JDD: ไลบรารี Java ดั้งเดิมที่สนับสนุน BDD, Z-BDD และอื่น ๆ (กราฟ / a