Java Decision Diagram Libraries 103

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara

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