mace2(1) on Linux
The text 9dfbfd3a400a, as Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it. The page shows this text now.
searches for finite countermodels of first-order statements
Flags it lists
-
-I -
-N -
-P -
-c -
-h -
-k -
-m -
-n -
-p -
-t -
-x