Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Java Decision Diagram Libraries

Java Decision Diagram Libraries 103

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

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)

sejarah versi

  • Versi JDD.jar-build103 diposkan pada 2009-03-10
    Beberapa pembaikan dan pengemaskinian
  • Versi JDD.jar-build103 diposkan pada 2009-03-10

Butiran Atur Cara

Atur Cara Berkaitan

  • Tableflow Percuma

    Tableflow adalah komponen web Java untuk menyambung data tabular menggunakan paradigma aliran data boleh laku. Projek ini termasuk komponen grid data canggih, serasi dengan JSF yang telah membina sokongan untuk penapisan, pen

  • Internet Packet Debugger Percuma

    Penyahpepijat masa nyata, penapis, penghidu dan pembalak paket yang dihantar dan diterima oleh Winsock v1/v2. Ciri-ciri seperti BreakPoints juga disertakan. Anda boleh mengedit paket dalam masa nyata sebelum program sasaran M

  • MDGen - Model-driven J2EE code generator Percuma

    MDGen adalah penjana kod J2EE yang didorong oleh model UML. Ia menggunakan XML untuk menerangkan model kelas dan menggunakan templat XSL untuk menjana EJB sesi/ entiti, kod Struts, penerangan penggunaan, skrip cipta /drop pan

  • mySQL32 Percuma

    mySQL32, API DLL Kelas C++ yang direka untuk merangkumi MySQL C API ke dalam kaedah mudah, ahli dan model objet untuk pemaju yang memerlukan penggunaan mySQL dalam aplikasi anda tanpa memanggil langsung MySQL C API atau ODBC.

  • MultiViL Percuma

    MultiViL adalah alat untuk pembelajaran berbilang pandangan. Ia menyokong empat pengelas (KNN, Naive-Bayes, Rochio dan SVM-Perf), empat kaedah menggabungkan pandangan (Majoriti Mengundi, Kiraan Borda, teori Bukti Dempster-Sha

  • Alexis Make Percuma

    Mengekalkan perisian anda dengan amake (utiliti untuk pemaju). Menyokong pengiktirafan corak dan transformasi yang kukuh. Satu makefile tunggal boleh digunakan untuk menyusun keseluruhan projek.

  • pypnetcdf Percuma

    PyPNetCDF adalah pakej Python berasaskan Angka yang membolehkan membaca dan /atau menulis ke fail NetCDF dalam persekitaran yang selari menggunakan MPI dan antara muka yang dicipta ke perpustakaan PnetCDF. Objek-objek ini san

  • libbinxml Percuma

    Perpustakaan BINXML dicipta untuk mengisi keperluan cara yang cekap untuk membenamkan data binari di dalam fail xml. Ia menyediakan rutin untuk mengekod dan menyahkod fail binari ke dalam fail teks UTF-16 yang sah yang boleh

  • OGen Percuma

    OGen adalah penjana kod. Ia menjana kod kedua-dua fail teks dan fungsi pangkalan data (PostgreSQL dan SQL Server kini disokong) berdasarkan metadatas xml dan templat aspx / xslt yang disediakan oleh pengguna.

  • HTTP Inspector Light Percuma

    Buat permintaan HTTP GET, POST dan HEAD dan hantar pengepala tersuai. Menyokong SSL, termasuk sijil yang ditandatangani sendiri.Anda kemudiannya boleh melihat respons daripada pelayan termasuk pengepala dan diberikan dan