mace4(1) on Linux
The text 954e5cb0e6f7, as Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it. The page shows this text now.
searches for finite countermodels of first-order statements
Flags it lists
-
-N -
-P -
-R -
-T -
-V -
-b -
-help -
-i -
-m -
-n -
-p -
-q -
-s -
-t -
-v