Software screenshot:
Podrobnosti Software:
logický výraz Solver je příkazové nástroj, který generuje pravdu tabulky pro daný logický výraz.
Je napsán v Javě, takže to bude běžet na jakékoli platformě, která má Java Runtime Environment nainstalovaný, ale makefile a shell-script zahrnuty pro pohodlí obecně vyžadují * nix.
Komentáře nebyl nalezen