src/prop/options

   1 #
   2 # Option specification file for CVC4
   3 # See src/options/base_options for a description of this file format
   4 #
   5
   6 module PROP "prop/options.h" SAT layer
   7
   8 option satRandomFreq random-frequency --random-freq=P double :default 0.0 :predicate greater_equal(0.0) less_equal(1.0)
   9  sets the frequency of random decisions in the sat solver (P=0.0 by default)
  10 option satRandomSeed random-seed --random-seed=S uint32_t :default 0 :read-write
  11  sets the random seed for the sat solver
  12
  13 option satVarDecay double :default 0.95 :predicate less_equal(1.0) greater_equal(0.0)
  14  variable activity decay factor for Minisat
  15 option satClauseDecay double :default 0.999 :predicate less_equal(1.0) greater_equal(0.0)
  16  clause activity decay factor for Minisat
  17 option satRestartFirst --restart-int-base=N unsigned :default 25
  18  sets the base restart interval for the sat solver (N=25 by default)
  19 option satRestartInc --restart-int-inc=F double :default 3.0 :predicate greater_equal(0.0)
  20  sets the restart interval increase factor for the sat solver (F=3.0 by default)
  21
  22 option sat_refine_conflicts --refine-conflicts bool :default false
  23  refine theory conflict clauses (default false)
  24
  25 option minisatUseElim --minisat-elimination bool :default true :read-write
  26  use Minisat elimination
  27
  28 option minisatDumpDimacs --minisat-dump-dimacs bool :default false
  29  instead of solving minisat dumps the asserted clauses in Dimacs format
  30
  31 endmodule