mona(1) on Linux
The text 18cb83c0da39, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it. The page shows this text now.
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