projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc6cb23) | patch
Improvements to extended rewriter for Booleans and ITE (#1705)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 3 Apr 2018 01:03:16 +0000 (20:03 -0500)
committerGitHub <noreply@github.com>
Tue, 3 Apr 2018 01:03:16 +0000 (20:03 -0500)
commit4a516e33436fb0abd9efd9b8ec92a8e65534ce3a
treebb6c864ef6da32b67f30fcc28daa2b0afde527d5tree
parentbc6cb232c11d65f763844c2c9274444446aee26ecommit | diff
Improvements to extended rewriter for Booleans and ITE (#1705)
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/quantifiers/extended_rewrite.h diff | blob | history
src/theory/quantifiers/term_util.cpp diff | blob | history
src/theory/quantifiers/term_util.h diff | blob | history