JavaBDD 0.6
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/javabdd/files/javabdd-win32/0.6%20Win32%20binary/javabdd_0.6.zip/download
Về JavaBDD
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.
Các chương trình liên quan
-
Jonathan Miễn phí
Jonathan - Thiên Chúa cho. Jonathan là giống như các chương trình đọc Kinh Thánh hiện đang có sẵn, với một sự khác biệt. Với Jonathan, bạn có thể đọc các văn bản tinh thần khác mà là bên ngoài của Kinh Thánh. Jonathan hy vọng
-
Lg nyelv Miễn phí
Triển khai Logo tối thiểu. Chủ yếu dành cho trẻ em ở độ tuổi 8-14.Dễ sử dụng. Bản phát hành đầu tiên chỉ hoạt động bằng tiếng Hungary.
-
WxMAP2 Miễn phí
Một hệ thống dựa trên trăn để chẩn đoán và lập bản đồ thời tiết (wxmap) của các mô hình dự báo thời tiết số bằng cách sử dụng Hệ thống phân tích và hiển thị lưới (GrADS) opengrads.org
-
Two Line Calculator Miễn phí
Đây là một máy tính gtk với hai dòng và một phần để ghi chú. Mục đích là để tạo ra một máy tính sẽ là chương trình duy nhất bạn sẽ cần khi làm số học. Sản phẩm hiện đang trong giai đoạn alpha.
-
Squeebles Multiplication 1 Dùng thử miễn phí
XIN LƯU Ý: Kể từ tháng 7 năm 2013, ứng dụng này đã được thay thế bởi Squeebles Times Tables 2 - hiện đã có sẵn cho Android. Nó bao gồm nhiều lần bảng chế độ chơi, một hệ thống phần thưởng hoàn toàn mới và nhiều báo cáo và số
-
AIEEE Papers Dùng thử miễn phí
Mua giấy tờ giải quyết AIEEE, giấy kiểm tra giả, giấy tờ mô hình, hướng dẫn và tài liệu chuẩn bị trực tuyến www.dishapublication.com/books/upcoming-exam.html. Chúng tôi cung cấp sách chất lượng tốt nhất cho kỹ thuật và các kỳ
-
Speak Spanish in 12 days Free Dùng thử miễn phí
Nói tiếng Tây Ban Nha chỉ trong 12 ngày. Ứng dụng này sẽ cho phép bạn học tiếng Tây Ban Nha rất nhanh. * * * CÁC BÀI HỌC BẰNG TIẾNG ANH * * *Có khóa học này trong thiết bị di động của bạn sẽ cung cấp cho bạn khả năng h
-
Tamil Recipe Lite Dùng thử miễn phí
Miền nam Ấn Độ cũng nổi tiếng không kém với sự sẵn có của dừa, một loạt các loại cá và củ rễ. Các món ăn miền nam Ấn Độ chủ yếu là gạo, mà người dân miền nam Ấn Độ thích có với sự kết hợp của Sambhar hoặc cà ri.Đây là nhữ
-
CanTherm Miễn phí
Phần mềm này có thể được sử dụng để tính toán số lượng nhiệt hóa và động học như, enthalpy, entropy, công suất nhiệt và chuyển đổi nhà nước lý thuyết tỷ lệ hằng số từ quang phổ / lượng tử dữ liệu.
-
HWave Miễn phí
Mục đích của chương trình này là để vẽ các dạng sóng của chức năng sóng hydro. Chương trình có 4 tùy chọn. Đầu tiên, vẽ hàm xuyên tâm, thứ hai, vẽ xác suất xuyên tâm, hàm sóng thứ ba, 2d, hàm sóng 3d cuối cùng.