cryptominisat5_simple1
Sat solver
Usage
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