Atur cara mengikut javaddlib.sf.net
-
Java Decision Diagram Libraries Percuma
Projek ini mengandungi dua perpustakaan Rajah Keputusan Perduaan (BDD) yang berbeza: JBDD: antara muka Java kepada dua perpustakaan BDD popular, CUDD dan BuDDy. JDD: perpustakaan Jawa asli yang menyokong BDD, Z-BDD dan banyak