Jest to projekt mający na celu stworzenie oprogramowania do decydowania o probabilistycznym problemie satisfiability (PSAT) w ramach logicznego podejścia.
historia wersji
- Wersja PsatColGen opublikowany na 2011-03-16
Kilka poprawek i aktualizacji - Wersja N/A opublikowany na 2011-03-16
Szczegóły programu
- Kategorii: Sieć & Internet > Innych
- Wydawca: psat.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: Array
- Platformy: windows