diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-06-30 19:06:57 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-06-30 19:06:57 +0000 |
| commit | 5f8b41a0b896c2224ac4fc3b13eba7c370764df6 (patch) | |
| tree | 3daa5ed255ccb46f0d740fb7412fe4c7584791b1 /src/theory/theory.h | |
| parent | e0926408ef5113bf261d6205c218e5d529040108 (diff) | |
Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 16. Enabled arithmetic propagation and variable removal by default. Changed the command line arguments for both propagation and variable removal allow for disabling these.
Diffstat (limited to 'src/theory/theory.h')
0 files changed, 0 insertions, 0 deletions