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/prop | |
| 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/prop')
| -rw-r--r-- | src/prop/sat.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h index ea782234b..b80b0f705 100644 --- a/src/prop/sat.h +++ b/src/prop/sat.h @@ -270,10 +270,9 @@ inline SatSolver::SatSolver(PropEngine* propEngine, TheoryEngine* theoryEngine, // Setup the verbosity d_minisat->verbosity = (Options::current()->verbosity > 0) ? 1 : -1; - // No random choices - if(Debug.isOn("no_rnd_decisions")) { - d_minisat->random_var_freq = 0; - } + // Setup the random decision parameters + d_minisat->random_var_freq = Options::current()->satRandomFreq; + d_minisat->random_seed = Options::current()->satRandomSeed; d_statistics.init(d_minisat); } |