Atur cara mengikut parallelsat4j.sf.net

Ini adalah projek akademik; objektif utama adalah untuk menjana algoritma untuk selari formula CNF dan kemudian memberi makan bahagian-bahagian yang diagihkan kepada pelarut SAT berjujukan, untuk projek ini kita telah memilih