projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 579984e) | patch
Add arithmetic rewriter for RAN (#7929)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 13 Jan 2022 21:53:16 +0000 (13:53 -0800)
committerGitHub <noreply@github.com>
Thu, 13 Jan 2022 21:53:16 +0000 (21:53 +0000)
commit477d211e3d0e15d434aed932cdd5e636a455f8ee
tree5d054f923a54970659784d1127e62cf14768ad1ctree
parent579984e9e184ef8a31181b43152d8f24f0401de8commit | diff
Add arithmetic rewriter for RAN (#7929)

This adds a rewriter for real arithmetic constants, possibly rewriting them to a rational.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history
test/unit/theory/theory_arith_rewriter_black.cpp diff | blob | history