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 solvera.
historia wersji
- Wersja 0.01 opublikowany na 2008-03-26
Kilka poprawek i aktualizacji - Wersja 0.01 opublikowany na 2008-03-26
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: parallelsat4j.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 0.01
- Platformy: windows