projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 793321a) | patch
Refactor and document quantifiers variable elimination and conditional splitting...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 6 Sep 2018 16:33:33 +0000 (11:33 -0500)
committerGitHub <noreply@github.com>
Thu, 6 Sep 2018 16:33:33 +0000 (11:33 -0500)
commitc59f4e5dbbbcef7d30ab1bba2210ec32be42563e
treeee8138c33f0c6a02a984564afc4753894a9ed2e1tree
parent793321a0b4f9d02eb1ba7e416bd2d9fcb407ddf7commit | diff
Refactor and document quantifiers variable elimination and conditional splitting (#2424)
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history
test/regress/Makefile.tests diff | blob | history
test/regress/regress0/quantifiers/cond-var-elim-binary.smt2 [new file with mode: 0644] blob