diff options
author | Tim King <taking@cs.nyu.edu> | 2011-04-05 15:58:59 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2011-04-05 15:58:59 +0000 |
commit | 7ab9caadb0d56e7788c879b82944ad4a2485135a (patch) | |
tree | de5bbfa870e96bfa08d366bbee3fc59867617c44 /src/util/options.h | |
parent | bc3269ad3680436ede31a70803ff5879c9e4bf6e (diff) |
Added options for setting the random decision frequency and random seed for the sat solver. Also added command line options for setting both.
Diffstat (limited to 'src/util/options.h')
-rw-r--r-- | src/util/options.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/util/options.h b/src/util/options.h index efbd48900..dc0d231bd 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -131,6 +131,19 @@ struct CVC4_PUBLIC Options { /** Whether to rewrite equalities in arithmetic theory */ bool rewriteArithEqualities; + + /** + * Frequency for the sat solver to make random decisions. + * Should be between 0 and 1. + */ + double satRandomFreq; + + /** + * Seed for Minisat's random decision procedure. + * If this is 0, no random decisions will occur. + **/ + double satRandomSeed; + /** The pivot rule for arithmetic */ typedef enum { MINIMUM, BREAK_TIES, MAXIMUM } ArithPivotRule; ArithPivotRule pivotRule; |