cryptominisat5_simple - SAT solver

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
= {walksat,yalsat} Which SLS solver to use
= [1...] Sets number of threads

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

cryptominisat5 is written and maintained by Mate Soos

cryptominisat5 is under the MIT license. Please see for the full text

More documentation for the cryptominisat5 SAT solver can be found at
December 2020 cryptominisat5_simple 5.8.0