diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-12-08 15:25:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-08 15:25:19 -0800 |
| commit | 0e3ece61a4dbec520bcf1ef4087b3b5eb79d5771 (patch) | |
| tree | 956045b7249353bdfb2ec7911622fbeb60ca23fd /src/theory/rewriter_tables_template.h | |
| parent | 0bcce88efaed441509c636640e19cf25a87a6be9 (diff) | |
Remove rewrites from iand and pow2 solvers (#7775)
This PR removes some more static calls to the rewriter from the iand and pow2 solvers.
Diffstat (limited to 'src/theory/rewriter_tables_template.h')
0 files changed, 0 insertions, 0 deletions