cryptominisat5_simple man page

cryptominisat5_simple — manual page for cryptominisat5_simple 5.6.3


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

where input is plain DIMACS.



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


= {fname} DRAT dumped to file


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


= [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.


July 2018 cryptominisat5_simple 5.6.3 User Commands