DOKK / manpages / debian 12 / cryptominisat / cryptominisat5.1.en
CRYPTOMINISAT5(1) User Commands CRYPTOMINISAT5(1)

cryptominisat5 - manual page for cryptominisat5 5.11.4

USAGE 1: /build/cryptominisat-BygSg2/cryptominisat-5.11.4+dfsg1/cryptominisat5 [options] inputfile [frat-trim-file] USAGE 2: /build/cryptominisat-BygSg2/cryptominisat-5.11.4+dfsg1/cryptominisat5 --preproc 1 [options] inputfile simplified-cnf-file USAGE 2: /build/cryptominisat-BygSg2/cryptominisat-5.11.4+dfsg1/cryptominisat5 --preproc 2 [options] solution-file

where input is plain or gzipped DIMACS.

Print simple help
Print extensive help
Print version info
[0-10] Verbosity of solver. 0 = only solution
[0..] Random seed
Number of threads
Stop solving after this much time (s)
Stop solving after this many conflicts
Time multiplier for all simplification cutoffs
Global multiplier when the next inprocessing should take place
Multiplier for memory-out checks on inprocessing functions. It limits things such as clause-link-in. Useful when you have limited memory but still want to do some inprocessing

The full documentation for cryptominisat5 is maintained as a Texinfo manual. If the info and cryptominisat5 programs are properly installed at your site, the command

info cryptominisat5

should give you access to the complete manual.

January 2023 cryptominisat5 5.11.4