CRYPTOMINISAT5_SIMPLE(1) User Commands CRYPTOMINISAT5_SIMPLE(1)

cryptominisat5_simple - SAT solver

cryptominisat5_simple [options] <input-file> where input is plain DIMACS.

--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

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

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

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

cryptominisat5 is under the MIT license. Please see https://opensource.org/licenses/MIT for the full text

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