FRDCSA
Minor
Internal
External
Git
Packages
limboole-0.2
Jump To:
Parent Description
This is a simple boolean calculator.
It reads a boolean formula and checks whether it is valid.
In case '-s' is specified satisfiability is checked instead of validity.