cryptominisat5_simple man page

cryptominisat5_simple — manual page for cryptominisat5_simple 5.6.3

Description

USAGE:/builddir/build/BUILD/cryptominisat-5.6.3/cryptominisat5_simple [options] <input-file>

where input is plain DIMACS.

OPTIONS:

--verb

= [0...]  Sets verbosity level. Anything higher than 2 will give debug log

--drat

= {fname} DRAT dumped to file

--gluebreak

= {0,1}   Break the glue-based restarts

--threads

= [1...]  Sets number of threads

See Also

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

info cryptominisat5_simple

should give you access to the complete manual.

Info

July 2018 cryptominisat5_simple 5.6.3 User Commands