projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10cabf8) | patch
Added the command line flag --rewrite-arithmetic-equalities. This sets a static...
authorTim King <taking@cs.nyu.edu>
Wed, 30 Mar 2011 15:07:02 +0000 (15:07 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 30 Mar 2011 15:07:02 +0000 (15:07 +0000)
commit6495988f28ad6c9b318fc506e5d85d8613b03640
treef8679ffdf53b9d38f307e03b34aed251ba37bfbdtree
parent10cabf82a20258da80be53eb6d23b1a536e82eb5commit | diff
Added the command line flag --rewrite-arithmetic-equalities.  This sets a static flag in Options that the ArithRewriter uses to determine the equality rewriting policy.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history