projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8f2fcf) | patch
Resource spending support in theories (and especially in quantifiers).
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 18 Sep 2014 23:15:26 +0000 (19:15 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 18 Sep 2014 23:15:26 +0000 (19:15 -0400)
commit49747c4574eec3cfa192ffb6e6a2451b949e8b3e
treea12ac6ac5ff3b882a04fdbe4a67eba1ee8f434a8tree
parente8f2fcf2fd26542a3b1f24a67adae62508a741b4commit | diff
Resource spending support in theories (and especially in quantifiers).
src/prop/prop_engine.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history