Program menurut javabdd.sf.net

Pustaka Java untuk memanipulasi BDD (Diagram Keputusan Biner). Diagram keputusan biner banyak digunakan dalam pemeriksaan model, verifikasi formal, mengoptimalkan diagram sirkuit, dll.