mona(1) on Linux
The text d03d50da38b5, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) 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