PSAT

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

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