Added options for setting the random decision frequency and random seed for the sat solver. Also added command line options for setting both.

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;