CRYPTOMINISAT5(1)

NAME
cryptominisat5 - SAT solver

DESCRIPTION
USAGE 1: /home/soos/development/sat_solvers/cryptominisat/build/cryptominisat5 [options] inputfile [frat-trim-file] USAGE 2: /home/soos/development/sat_solvers/cryptominisat/build/cryptominisat5 --preproc 1 [options] inputfile simplified-cnf-file USAGE 2: /home/soos/development/sat_solvers/cryptominisat/build/cryptominisat5 --preproc 2 [options] solution-file

    where input is plain or gzipped DIMACS.

  Main options:

-h [ --help ]
    Print simple help

--hhelp
    Print extensive help

-v [ --version ]
    Print version info

--verb arg (=1)
    [0-10] Verbosity of solver. 0 = only solution

-r [ --random ] arg (=0)
    [0..] Random seed

-t [ --threads ] arg (=1)
    Number of threads

--maxtime arg
    Stop solving after this much time (s)

--maxconfl arg
    Stop solving after this many conflicts

-m [ --mult ] arg (=3)
    Time multiplier for all simplification cutoffs

--nextm arg (=1)
    Global multiplier when the next inprocessing should take place

--memoutmult arg (=1)
    Multiplier for memory-out checks on inprocessing functions. It limits things such as clause-link-in. Useful when you have limited memory but still want to do some inprocessing

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 soos.mate@gmail.com

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/