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/theory.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/theory.h')
0 files changed, 0 insertions, 0 deletions