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

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.