Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. JavaBDD

JavaBDD 0.6

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
Tải 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.

lịch sử phiên bản

  • Phiên bản 0.6%20Win32%20binary đăng trên 2005-05-09
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.6 Win32 binary đăng trên 2005-05-09

Chi tiết chương trình

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.