cryptominisat5(1) on Linux
The text 97b27464267a, as Debian 12 (Bookworm) shipped it.
manual page for cryptominisat5 5.11.4
Flags it lists
-
--help -
--hhelp -
--maxconfl -
--maxtime -
--version -
-h -
-v