Program menurut parallelsat4j.sf.net

Ini adalah proyek akademik; tujuan utamanya adalah untuk menghasilkan algoritma untuk mensejajarkan formula CNF dan kemudian memberi makan bagian yang didistribusikan ke pemecah SAT berurutan, untuk proyek ini kami telah memi