Prześlij oprogramowanie

Programy według psat.sf.net

  • PSAT Wolna

    Jest to projekt mający na celu stworzenie oprogramowania do decydowania o probabilistycznym problemie satisfiability (PSAT) w ramach logicznego podejścia.