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/theory/arrays | |
| parent | 842c5e7e08bf21980b34e40112e15a16cb18aee2 (diff) | |
Disabling the variable removal hueristic by default.
Diffstat (limited to 'src/theory/arrays')
0 files changed, 0 insertions, 0 deletions