diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-11 15:20:05 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-05-11 15:20:05 +0000 |
| commit | f20e159baa1669bbedbf6afd4f0a5117854822a9 (patch) | |
| tree | 081aa361a1131a75f17c623bba083a5aed966d59 /src/expr/expr_manager_template.cpp | |
| parent | 57790a14676596e8c6ed42ff7ecd8038ddbaf09b (diff) | |
Disabled arith-rewrite-equalities by default unless in a pure arithmetic theory
Diffstat (limited to 'src/expr/expr_manager_template.cpp')
0 files changed, 0 insertions, 0 deletions