Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Parallel Sat4J

Parallel Sat4J 0.01

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

Đây là một dự án học thuật; mục tiêu chính là tạo ra một thuật toán để song song với một công thức CNF và sau đó cho các bộ phận phân phối để giải SAT tuần tự, cho dự án này, chúng tôi đã chọn sử dụng Sat4J làm trình giải.

lịch sử phiên bản

  • Phiên bản 0.01 đăng trên 2008-03-26
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.01 đăng trên 2008-03-26

Chi tiết chương trình

Các chương trình liên quan

  • Visualgos Miễn phí

    Visualgos là một tập hợp các trực quan hóa cho các thuật toán được viết bằng Flash. Bạn có thể xem tất cả các phần trực quan hóa http://yuval.bar-or.org/index.php?item=7

  • wxWorkshop Miễn phí

    wxWorkshop là một framework IDE và công cụ RAD để phát triển các ứng dụng dựa trên khung GUI đa nền tảng wxWidgets cho C++ và Python (wxPython). Nó có một trình soạn thảo hiệu suất cao để thiết kế tài nguyên GUI của ứng dụng

  • Unit Test Framework Miễn phí

    Một khuôn khổ kiểm tra đơn vị C++ cho Windows với cả một đồ họa và giao diện điều khiển hiển thị mà chỉ sử dụng các Windows API để hỗ trợ compatability với tất cả Windows C++ trình biên dịch và khuôn khổ

  • Contact: AndroidBinding Demo Dùng thử miễn phí

    Đây là một bản demo khác cho Android Binding, dựa trên Mẫu Android Contact Manager chính thức: http://developer.android.com/resources/samples/ContactManager/index.htmlĐây là một ví dụ cho thấy cách sử dụng Android Binding

  • Poetica Studios Java Library Miễn phí

    Một thư viện Java nói chung được sử dụng bởi tất cả các sản phẩm phần mềm Java Poetica Studios. Thư viện bao gồm các tiện ích khác nhau, sử dụng từ serialization mảng để gỡ lỗi và bao gồm nhiều lớp học hữu ích như con trỏ đố

  • Remote Code Execution for BlueJ Miễn phí

    Dự án này mở rộng BlueJ Java IDE. Nó nhằm mục đích thêm khả năng kết nối mạng vào giao diện BlueJ thông qua API tiện ích mở rộng của BlueJ. Vì BlueJ phù hợp nhất để giảng dạy Java cho các lập trình viên mới, dự án này sẽ tập

  • Radiation calculator Dùng thử miễn phí

    Ứng dụng tính toán tỷ lệ liều, vv giả định một nguồn điểm trong chân không và suy giảm tuyến tính trong vật liệu che chắn. Đồng vị và vật liệu che chắn có thể được thêm vào, xóa hoặc sửa đổi.Các hằng số tốc độ gamma được

  • Fermion Programming Language Miễn phí

    Ngôn ngữ lập trình Fermion là một ngôn ngữ lập trình năng động cấp cao, hướng đối tượng, trường hợp không nhạy cảm. Sự đơn giản của ngôn ngữ làm cho Fermion trở thành một ngôn ngữ học tập và tạo mẫu tốt cho tất cả các cấp lập

  • Nmdepend Miễn phí

    Nmdepend là một máy phân tích phụ thuộc 'liên kết thời gian' nhẹ cho C ++. Nó sử dụng các tập tin đối tượng và thư viện thay vì mã nguồn như đầu vào. Nó có thể giúp quản lý phụ thuộc 'cross-directory'. Phụ thuộc có thể được h

  • Awakener Miễn phí

    Awakener nhằm mục đích cung cấp một thư viện Java để giải quyết các vấn đề tối ưu hóa thực tế, thế giới thực bằng các thuật toán di truyền (thuật toán chìa khóa trao tay cho >= 90% các vấn đề trong ngành). Awakener mở rộng