projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 079ed95) | patch
Cbqi multiple instantiation (#1289)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 27 Oct 2017 18:58:12 +0000 (13:58 -0500)
committerGitHub <noreply@github.com>
Fri, 27 Oct 2017 18:58:12 +0000 (13:58 -0500)
commit0891ff3d00975ee9697855dcb2b6cbb232ec5523
tree450d84b5cd932274d687e8ab4a2eff1a4777c45ftree
parent079ed9540d498bcbb58f2f0fbe87bdae28101d1ecommit | diff
Cbqi multiple instantiation (#1289)

* Multi-instantiation heuristic for cbqi bv.

* New clang format.

* Minor

* Minor.

* Minor
src/options/quantifiers_options diff | blob | history
src/theory/quantifiers/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/ceg_instantiator.h diff | blob | history
src/theory/quantifiers/ceg_t_instantiator.cpp diff | blob | history