projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de0dd1d) | patch
Reduce number of passes in quantifiers rewriter.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 3 Jun 2016 14:01:30 +0000 (09:01 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 3 Jun 2016 14:01:41 +0000 (09:01 -0500)
commit8be0c5276ecbe1c693563410ae564e229c8ffcc6
tree574f5f68a563fa64d954b71704e9c8aeee95207btree
parentde0dd1dc966b05467f1a5443ff33094262f5076acommit | diff
Reduce number of passes in quantifiers rewriter.
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history