Java Decision Diagram Libraries 103
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 4.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Java Decision Diagram Libraries
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 lagi (graf/automata/Petri nets/SAT)