Tarafından Programlar javabdd.sf.net

BDD'leri (İkili Karar Diyagramları) işlemek için Java kitaplığı. İkili karar diyagramları model kontrolünde, resmi doğrulamada, devre diyagramlarında optimize etmede vb. yaygın olarak kullanılır.