Parallel Sat4J 0.01
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 5.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Parallel Sat4J
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 untuk menggunakan Sat4J sebagai pelarut.