![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 4.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Java Decision Diagram Libraries
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)