diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-10-04 22:21:55 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-10-04 22:21:55 +0000 |
| commit | a81eeba7318f4e72f90a64bbd0beb82e27b27148 (patch) | |
| tree | b278e8f41d914e675230be84a7075a3c1c157884 /src/util/options.cpp | |
| parent | 842c5e7e08bf21980b34e40112e15a16cb18aee2 (diff) | |
Disabling the variable removal hueristic by default.
Diffstat (limited to 'src/util/options.cpp')
| -rw-r--r-- | src/util/options.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 38dcf12c9..9c438a5cd 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -83,7 +83,7 @@ Options::Options() : replayFilename(""), replayStream(NULL), replayLog(NULL), - variableRemovalEnabled(true), + variableRemovalEnabled(false), arithPropagation(true), satRandomFreq(0.0), satRandomSeed(91648253),// Minisat's default value @@ -140,6 +140,8 @@ static const string optionsDescription = "\ --disable-symmetry-breaker turns off UF symmetry breaker (Deharbe et al., CADE 2011)\n\ --incremental | -i enable incremental solving\n"; +#warning "Change CL options as --disable-variable-removal cannot do anything currently." + static const string languageDescription = "\ Languages currently supported as arguments to the -L / --lang option:\n\ auto attempt to automatically determine the input language\n\ |