projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6a6ab6) | patch
Only put quantifier assertions in model equality engine if fullModel==true
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Feb 2013 21:18:08 +0000 (16:18 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 7 Feb 2013 23:06:11 +0000 (18:06 -0500)
commit63ca7c0a10dcd6b3be42d4d513f842db76733392
tree58359725846197e3a471ff218bd4c593172d4fc8tree
parentd6a6ab61dbe64848b78b9ab8d07d95fc58b64e72commit | diff
Only put quantifier assertions in model equality engine if fullModel==true
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history