Atur cara mengikut javabdd.sf.net

Perpustakaan Jawa untuk memanipulasi BDD (Gambar rajah Keputusan Perduaan). Gambar rajah keputusan perduaan digunakan secara meluas dalam pemeriksaan model, pengesahan rasmi, mengoptimumkan gambar rajah litar, dan lain-lain.