mona(1) on Linux
The text 64adac23d7fd, as Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
a decision procedure for the logics WS1S and WS2S
Flags it lists
-
-d -
-e -
-f -
-gc -
-gd -
-gs -
-gw -
-h -
-i -
-m -
-n -
-oN -
-q -
-r -
-s -
-t -
-u -
-w -
-xw