![](/statics/img/blank.png)
Java Decision Diagram Libraries 103
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 4.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
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)