projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c095152) | patch
refactor div rewriter, add support for ran (#7941)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 14 Jan 2022 20:27:50 +0000 (12:27 -0800)
committerGitHub <noreply@github.com>
Fri, 14 Jan 2022 20:27:50 +0000 (20:27 +0000)
commiteb54260aa404b065806c9e6ab1aa19bb3e006b2b
tree943a1da8b477232e67835e7fe09bd2e3965b438etree
parentc0951521904d62fab2d0a2d57d05dde8a1d23969commit | diff
refactor div rewriter, add support for ran (#7941)

This extends the rewriter for division to also support real algebraic numbers.
src/theory/arith/arith_rewriter.cpp diff | blob | history