projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1603631) | patch
Avoid doing work in quantifiers engine when no quantifiers are asserted.
authorajreynol <andrew.j.reynolds@gmail.com>
Thu, 21 Aug 2014 16:28:36 +0000 (18:28 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Thu, 21 Aug 2014 16:28:36 +0000 (18:28 +0200)
commiteedfa4073125ca334fa5f05265b3cd1e971b6eb0
tree7e3cdf328530d13afd0e936343f08a5771daa09ftree
parent1603631331714b79d1be9d8d3305ca60786981cfcommit | diff
Avoid doing work in quantifiers engine when no quantifiers are asserted.
src/theory/quantifiers_engine.cpp diff | blob | history