NAME
cryptominisat5_simple - SAT solver
SYNOPSIS
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
- --sls
-
= {walksat,yalsat} Which SLS solver to use
- --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 [email protected]
COPYRIGHT
cryptominisat5 is under the MIT license. Please see https://opensource.org/licenses/MIT for the full text
SEE ALSO
More documentation for the cryptominisat5 SAT solver can be found at https://www.msoos.org/cryptominisat5/