cryptominisat5_simple - SAT solver

       cryptominisat5 is written and maintained by MateSoossoos.mate@gmail.com

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

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

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

       cryptominisat5_simple - SAT solver

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

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

cryptominisat5_simple 5.8.0                       February 2022                         CRYPTOMINISAT5_SIMPLE(1)

cryptominisat5_simple [options] <input-file>whereinputisplainDIMACS.