Boolean Expression Solver 0.1 Beta
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í...