Chương trình theo parallelsat4j.sf.net

Đâ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.