mace4(1) on Linux
The text b42561fccb99, as Debian 5.0 (Lenny) shipped it.
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