.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.47.16.
.TH CRYPTOMINISAT5_SIMPLE "1" "December 2020" "cryptominisat5_simple 5.8.0" "User Commands"
.SH NAME
cryptominisat5_simple \- SAT\ solver
.SH SYNOPSIS
.B cryptominisat5_simple
[\fI\,options\/\fR] \fI\,<input-file> where input is plain DIMACS.\/\fR
.SH OPTIONS
.TP
\fB\-\-verb\fR
= [0...]  Sets verbosity level. Anything higher
than 2 will give debug log
.TP
\fB\-\-drat\fR
= {fname} DRAT dumped to file
.TP
\fB\-\-sls\fR
= {walksat,yalsat} Which SLS solver to use
.TP
\fB\-\-threads\fR
= [1...]  Sets number of threads
.SH "BUG TRACKER"
Please don't hesitate to file any and all issues at:

https://github.com/msoos/cryptominisat/issues
.SH AUTHORS
cryptominisat5 is written and maintained by
.B Mate Soos soos.mate@gmail.com
.SH COPYRIGHT
cryptominisat5 is under the
.B MIT
license. Please see https://opensource.org/licenses/MIT for the full text
.SH "SEE ALSO"
More documentation for the cryptominisat5 SAT solver can be found at https://www.msoos.org/cryptominisat5/