cryptominisat5(1) on Linux
The text d5564f46cafe, as Debian 11 (Bullseye) shipped it.
SAT solver
Flags it lists
-
--debuglib -
--dumpred -
--dumpresult -
--help -
--hhelp -
--maxconfl -
--maxtime -
--nobansol -
--preschedule -
--restart -
--schedule -
--version -
-h -
-v