Parallel Sat4J 0.01
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/parallelsat4j/files/parallelsat4j/0.01/org.tar.gz/download
Về Parallel Sat4J
Đâ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.
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