Java Decision Diagram Libraries 103
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/javaddlib/files/JDD%20binary%20release/JDD.jar-build103/jdd_103.jar/download
Về Java Decision Diagram Libraries
Dự án này chứa hai nhị phân khác nhau Quyết định Sơ đồ (BDD) thư viện: JBDD: một giao diện Java cho hai thư viện BDD phổ biến, CUDD và BuDDy. JDD: một thư viện Java gốc hỗ trợ BDD, Z-BDD và nhiều hơn nữa (đồ thị / automata / Petri nets / SAT)
Các chương trình liên quan
-
Tableflow Miễn phí
Tableflow là một thành phần web Java để kết nối dữ liệu bảng bằng cách sử dụng một mô hình luồng dữ liệu thực thi. Dự án này bao gồm một thành phần lưới dữ liệu tiên tiến, tương thích với JSF đã xây dựng trong hỗ trợ cho lọc,
-
Internet Packet Debugger Miễn phí
Trình gỡ lỗi thời gian thực, bộ lọc, sniffer và logger của các gói tin được gửi và nhận bởi Winsock v1 / v2. Các tính năng như BreakPoints cũng bao gồm. Bạn có thể chỉnh sửa các gói dữ liệu trong thời gian thực trước khi chươ
-
MDGen - Model-driven J2EE code generator Miễn phí
MDGen là một máy phát điện mã J2EE điều khiển mô hình lớp UML. Nó sử dụng XML để mô tả một mô hình lớp học và áp dụng mẫu XSL để tạo ra phiên / thực thể EJBs, Struts mã, mô tả triển khai, cơ sở dữ liệu tạo / thả kịch bản, tập
-
mySQL32 Miễn phí
mySQL32, một C++ Class dll API được thiết kế để đóng gói MySQL C API thành các phương pháp dễ dàng, thành viên và objet-model cho các nhà phát triển cần sử dụng mySQL trong các ứng dụng của bạn mà không cần gọi trực tiếp MySQ
-
MultiViL Miễn phí
MultiViL là một công cụ để học tập đa dạng xem. Nó hỗ trợ bốn phân loại (KNN, Naive-Bayes, Rochio và SVM-Perf), bốn phương pháp kết hợp xem (Đa số bỏ phiếu, Borda Count, Dempster-Shafer lý thuyết bằng chứng và PSO) và cung cấ
-
Alexis Make Miễn phí
Duy trì phần mềm của bạn với amake (một tiện ích làm cho các nhà phát triển). Hỗ trợ nhận dạng và biến đổi mô hình mạnh mẽ. Một makefile duy nhất có thể được sử dụng để biên dịch một dự án toàn bộ.
-
pypnetcdf Miễn phí
PyPNetCDF là một gói Python dựa trên số cho phép đọc và/hoặc ghi vào tệp NetCDF trong một môi trường song song bằng cách sử dụng MPI và một giao diện được tạo ra cho thư viện PnetCDF. Các đối tượng rất giống với định nghĩa củ
-
libbinxml Miễn phí
Thư viện BINXML được tạo ra để điền vào sự cần thiết cho một cách hiệu quả để nhúng dữ liệu nhị phân bên trong các tập tin xml. Nó cung cấp thói quen để mã hóa và giải mã các tập tin nhị phân vào các tập tin văn bản UTF-16 hợ
-
OGen Miễn phí
OGen là một máy phát điện mã. Nó tạo ra mã cả trên các tập tin văn bản và chức năng cơ sở dữ liệu (PostgreSQL và SQL Server hiện đang được hỗ trợ) dựa trên siêu dữ liệu xml và aspx/xslt mẫu được cung cấp bởi người dùng.
-
HTTP Inspector Light Miễn phí
Thực hiện yêu cầu HTTP GET, POST và HEAD và gửi tiêu đề tùy chỉnh. Hỗ trợ SSL, bao gồm chứng chỉ tự ký.Sau đó, bạn có thể xem phản hồi từ máy chủ bao gồm tiêu đề và trả lời kết xuất và phản hồi thô khi thích hợp.20/6/2