Programy według parallelsat4j.sf.net

Jest to projekt akademicki; głównym celem jest wygenerowanie algorytmu do równoległości formuły CNF, a następnie podawanie rozproszonych części do sekwencyjnych solverów SAT, w tym projekcie wybraliśmy użycie Sat4J jako solve