cryptominisat5_simple man page

cryptominisat5_simple — SAT solver

Description

USAGE:/builddir/build/BUILD/cryptominisat-5.6.4/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

Bug Tracker

Please don't hesitate to file any and all issues at:

https://github.com/msoos/cryptominisat/issues

Authors

cryptominisat5 is written and maintained by Mate Soos soos.mate@gmail.com

See Also

More documentation for the cryptominisat5 SAT solver can be found at https://www.msoos.org/cryptominisat5/

Info

August 2018 cryptominisat5_simple 5.6.4 User Commands