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)
lịch sử phiên bản
- Phiên bản JDD.jar-build103 đăng trên 2009-03-10
Một số bản sửa lỗi và cập nhật - Phiên bản JDD.jar-build103 đăng trên 2009-03-10
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: javaddlib.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 103
- Nền tảng: linux