Program menurut javaddlib.sf.net

Proyek ini berisi dua pustaka Diagram Keputusan Biner (BDD) yang berbeda: JBDD: antarmuka Java ke dua pustaka BDD populer, CUDD dan BuDDy. JDD: perpustakaan Java asli yang mendukung BDD, Z-BDD dan banyak lagi (grafik / automa