mobical(1) on Linux
The text 66639e9f8b34, as Debian 13 (Trixie) shipped it. The page shows this text now.
CaDiCaL Simplified Satisfiability Solver
Flags it lists
-
--big -
--build -
--colors -
--do-not-execute -
--do-not-fork -
--do-not-ignore-resource-limits -
--dump -
--help -
--medium -
--no-colors -
--no-seeds -
--no-terminal -
--small -
--space -
--stats -
--time -
--version -
-s -
-v