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

NAME

6       cryptominisat5_simple - SAT solver
7

DESCRIPTION

9       USAGE:/builddir/build/BUILD/cryptominisat-5.6.8/cryptominisat5_simple
10       [options] <input-file>
11
12              where input is plain DIMACS.
13
14       OPTIONS:
15
16       --verb = [0...]  Sets verbosity level. Anything higher than 2 will give
17              debug log
18
19       --drat = {fname} DRAT dumped to file
20
21       --gluebreak
22              = {0,1}   Break the glue-based restarts
23
24       --threads
25              = [1...]  Sets number of threads
26

BUG TRACKER

28       Please don't hesitate to file any and all issues at:
29
30       https://github.com/msoos/cryptominisat/issues
31

AUTHORS

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

37       cryptominisat5 is under  the  MIT  license.  Please  see  https://open‐
38       source.org/licenses/MIT for the full text
39

SEE ALSO

41       More  documentation  for  the cryptominisat5 SAT solver can be found at
42       https://www.msoos.org/cryptominisat5/
43
44
45
46cryptominisat5_simple 5.6.8        July 2019          CRYPTOMINISAT5_SIMPLE(1)
Impressum