Chương trình theo javaddlib.sf.net

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 /