mobical(1) on Linux
The text 4d4d71943e54, as Debian 12 (Bookworm) shipped it.
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