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 / automata / Petri nets / SAT)
Riwayat versi
- Versi JDD.jar-build103 diposting di 2009-03-10
Beberapa perbaikan dan pembaruan - Versi JDD.jar-build103 diposting di 2009-03-10
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: javaddlib.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 103
- Platform: linux