projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3da09bb) | patch
CEGQI uses model. Enforce fairness in CEGQI natively.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 13 Oct 2014 15:52:55 +0000 (17:52 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 13 Oct 2014 15:52:55 +0000 (17:52 +0200)
commitf77be2a9c94ba26d134ae978542ce9858314fc24
treecbe9de38e06d92e2448c3209c81e66772303c427tree
parent3da09bb56cf9fb3a74c9baef55209bc943aa435bcommit | diff
CEGQI uses model.  Enforce fairness in CEGQI natively.
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history