Chương trình theo javabdd.sf.net
-
JavaBDD Miễn phí
Thư viện Java để thao tác BDDs (Sơ đồ quyết định nhị phân). Sơ đồ quyết định nhị phân được sử dụng rộng rãi trong kiểm tra mô hình, xác minh chính thức, tối ưu hóa sơ đồ mạch, v.v.
Thư viện Java để thao tác BDDs (Sơ đồ quyết định nhị phân). Sơ đồ quyết định nhị phân được sử dụng rộng rãi trong kiểm tra mô hình, xác minh chính thức, tối ưu hóa sơ đồ mạch, v.v.