1CRYPTOMINISAT5_SIMPLE(1)         User Commands        CRYPTOMINISAT5_SIMPLE(1)
2
3
4

NAME

6       cryptominisat5_simple - SAT solver
7

SYNOPSIS

9       cryptominisat5_simple  [options]  <input-file> where input is plain DI‐
10       MACS.
11

OPTIONS

13       --verb = [0...]  Sets verbosity level. Anything higher than 2 will give
14              debug log
15
16       --drat = {fname} DRAT dumped to file
17
18       --sls  = {walksat,yalsat} Which SLS solver to use
19
20       --threads
21              = [1...]  Sets number of threads
22

BUG TRACKER

24       Please don't hesitate to file any and all issues at:
25
26       https://github.com/msoos/cryptominisat/issues
27

AUTHORS

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

33       cryptominisat5 is under  the  MIT  license.  Please  see  https://open‐
34       source.org/licenses/MIT for the full text
35

SEE ALSO

37       More  documentation  for  the cryptominisat5 SAT solver can be found at
38       https://www.msoos.org/cryptominisat5/
39
40
41
42cryptominisat5_simple 5.8.0       August 2021         CRYPTOMINISAT5_SIMPLE(1)
Impressum