projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64e7ff2) | patch
Interleave quantifiers checks with ground theory checks at LAST_CALL (#1834)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 May 2018 19:23:48 +0000 (14:23 -0500)
committerGitHub <noreply@github.com>
Thu, 3 May 2018 19:23:48 +0000 (14:23 -0500)
commitaf67146760804bd18cb85414c17021131d03dcf1
tree405c24d08b7ff7001142614b99845cdcf80b6f98tree
parent64e7ff24ad33a1fb297adfda8ec5aa4631ed9dbacommit | diff
Interleave quantifiers checks with ground theory checks at LAST_CALL (#1834)
src/theory/quantifiers/cegqi/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/sygus/ce_guided_instantiation.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
test/regress/Makefile.tests diff | blob | history
test/regress/regress1/quantifiers/nra-interleave-inst.smt2 [new file with mode: 0644] blob