prover9(1) on Linux
The text d6dfe92b042d, as Debian 5.0 (Lenny) shipped it.
resolution/paramodulation theorem prover
Flags it lists
-
-f -
-h -
-p -
-t -
-x