minisat2(1) on Linux
The text 02a6e5975754, as Debian 5.0 (Lenny) shipped it.
fast and lightweight SAT solver
Flags it lists
-
-asymm -
-dimacs -
-polarity-mode -
-pre -
-rcheck -
-verbosity