projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bcce88) | patch
Remove rewrites from iand and pow2 solvers (#7775)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 8 Dec 2021 23:25:19 +0000 (15:25 -0800)
committerGitHub <noreply@github.com>
Wed, 8 Dec 2021 23:25:19 +0000 (15:25 -0800)
commit0e3ece61a4dbec520bcf1ef4087b3b5eb79d5771
tree956045b7249353bdfb2ec7911622fbeb60ca23fdtree
parent0bcce88efaed441509c636640e19cf25a87a6be9commit | 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.
src/theory/arith/nl/ext/monomial.cpp diff | blob | history
src/theory/arith/nl/iand_solver.cpp diff | blob | history
src/theory/arith/nl/iand_solver.h diff | blob | history
src/theory/arith/nl/iand_utils.cpp diff | blob | history
src/theory/arith/nl/pow2_solver.cpp diff | blob | history
src/theory/arith/nl/pow2_solver.h diff | blob | history