projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a485a56) | patch
Boolean terms rewriting for quantified variables of type Bool, when quantifier body...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 15 Mar 2013 17:30:05 +0000 (13:30 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 15 Mar 2013 17:30:05 +0000 (13:30 -0400)
commit5617905a03c6810978cc66a18a370f5a95b7c5b4
treebe7056c33d500449d59e6de585fd93b5db860311tree
parenta485a56258bdac2cdb2214dbcae5268b11f1d95bcommit | diff
Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context
src/smt/boolean_terms.cpp diff | blob | history
src/smt/boolean_terms.h diff | blob | history