Tarafından Programlar parallelsat4j.sf.net

Bu akademik bir projedir; ana amaç bir CNF formülü paralelleştirmek için bir algoritma oluşturmak ve daha sonra sıralı SAT çözücüler için dağıtılan parçaları beslemek, bu proje için çözücü olarak Sat4J kullanmayı tercih var.