minisat2(1) on Linux
The text cb479f21403a, as Debian 6.0 (Squeeze) shipped it. The page shows this text now.
fast and lightweight SAT solver
Flags it lists
-
-asymm -
-dimacs -
-freeze -
-polarity-mode -
-pre -
-rcheck -
-verbosity