mona(1) on Linux
The text cbc521f6775d, as Debian 8 (Jessie) 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