projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26c1b20) | patch
Fixes arith rewriter to allow for division by a constant. It previously only allowed...
authorTim King <taking@cs.nyu.edu>
Wed, 7 Jul 2010 16:23:22 +0000 (16:23 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 7 Jul 2010 16:23:22 +0000 (16:23 +0000)
commit3b017f6c69c9a32e229fe3a9e8b5aeacbfc35a47
treef8e34bd16a03a779113cee7943299039246e4caetree
parent26c1b20086b26da79d938057b7761de95fabf731commit | diff
Fixes arith rewriter to allow for division by a constant. It previously only allowed for a constant divided by a constant.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history