Java Decision Diagram Libraries 103
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/javaddlib/files/JDD%20binary%20release/JDD.jar-build103/jdd_103.jar/download
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)
Program Terkait
-
Tableflow Gratis
Tableflow adalah komponen web Java untuk menghubungkan data tabular menggunakan paradigma aliran data yang dapat dieksekusi. Proyek ini mencakup komponen kisi data tingkat lanjut, kompatibel dengan JSF yang memiliki build dal
-
Internet Packet Debugger Gratis
Debugger real time, filter, sniffer dan logger paket dikirim dan diterima oleh Winsock v1/v2. Fitur seperti BreakPoints juga disertakan. Anda dapat mengedit paket secara real time sebelum program target Menerima atau mengirim
-
MDGen - Model-driven J2EE code generator Gratis
MDGen adalah generator kode J2EE berbasis model kelas UML. Ini menggunakan XML untuk mendeskripsikan model kelas dan menerapkan template XSL untuk menghasilkan EJB sesi / entitas, kode Struts, deskriptor penyebaran, skrip pem
-
mySQL32 Gratis
mySQL32, API dll Kelas C++ yang dirancang untuk merangkum MySQL C API ke dalam metode, anggota, dan model objet yang mudah bagi pengembang yang membutuhkan penggunaan mySQL dalam aplikasi Anda tanpa memanggil langsung MySQL C
-
MultiViL Gratis
MultiViL adalah alat untuk pembelajaran multi-tampilan. Ini mendukung empat pengklasifikasi (KNN, Naive-Bayes, Rochio dan SVM-Perf), empat metode penggabungan tampilan (Pemungutan Suara Mayoritas, Borda Count, teori bukti Dem
-
Alexis Make Gratis
Pertahankan perangkat lunak Anda dengan amake (utilitas buat untuk pengembang). Mendukung pengenalan dan transformasi pola yang kuat. Satu makefile dapat digunakan untuk mengompilasi seluruh proyek.
-
pypnetcdf Gratis
PyPNetCDF adalah paket Python berbasis Numerik yang memungkinkan membaca dan/atau menulis ke file NetCDF dalam lingkungan paralel menggunakan MPI dan antarmuka yang dibuat ke pustaka PnetCDF. Objek-objek tersebut sangat mirip
-
libbinxml Gratis
Pustaka BINXML dibuat untuk mengisi kebutuhan akan cara yang efisien untuk menyematkan data biner di dalam file xml. Ini menyediakan rutinitas untuk pengkodean dan decoding file biner ke dalam file teks UTF-16 yang valid yang
-
OGen Gratis
OGen adalah generator kode. Ini menghasilkan kode baik pada file teks dan fungsi database (PostgreSQL dan SQL Server saat ini didukung) berdasarkan metadata xml dan template aspx / xslt yang disediakan oleh pengguna.
-
HTTP Inspector Light Gratis
Buat permintaan HTTP GET, POST, dan HEAD dan kirim header kustom. Mendukung SSL, termasuk sertifikat yang ditandatangani sendiri.Anda kemudian dapat melihat respons dari server termasuk header dan dirender dan respons men