![](/statics/img/blank.png)
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
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
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.