projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fbe732) | patch
Refactor cegqi instantiation infrastructure so that it is more independent of instant...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 19 Sep 2017 11:31:22 +0000 (06:31 -0500)
committerGitHub <noreply@github.com>
Tue, 19 Sep 2017 11:31:22 +0000 (06:31 -0500)
commit324eafcb6d243312e366009d140758c40527db54
tree53da9def29695a4bede0894f57d1ddf86b6e1381tree
parent9fbe73270fc129c71b10d04c28f7cab4866a6a9fcommit | diff
Refactor cegqi instantiation infrastructure so that it is more independent of instantiation for LIA. (#1111)
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
src/theory/quantifiers/ceg_t_instantiator.h diff | blob | history