FRDCSA
Minor
Internal
External
Git
Packages
limboole1.1-20181124
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 (tautology).