projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 996de91) | patch
Update dynamic splitting strategy for quantifiers (#3162)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 23 Aug 2019 18:00:43 +0000 (13:00 -0500)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 18:00:43 +0000 (13:00 -0500)
commit085d6a91f0686d6680d15bb54f9435f30d53c331
treea5ffe08fecdcd1a66b5b40623a5b514284857cbetree
parent996de9116150fb7214b3b9a56995e2492d3e5668commit | diff
Update dynamic splitting strategy for quantifiers (#3162)
src/options/quantifiers_options.toml diff | blob | history
src/theory/quantifiers/quant_split.cpp diff | blob | history
src/theory/quantifiers/quant_split.h diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/quantifiers/f993-loss-easy.smt2 [new file with mode: 0644] blob
test/regress/regress1/quantifiers/issue993.smt2 [new file with mode: 0644] blob