projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65e5345) | patch
Fixes for abducts (#6279)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 7 Apr 2021 20:28:47 +0000 (15:28 -0500)
committerGitHub <noreply@github.com>
Wed, 7 Apr 2021 20:28:47 +0000 (20:28 +0000)
commitbd0cf32db7d115e52e243b165a26edb319e91316
tree4a4d77049606f9249ca2b03897834150203f4e58tree
parent65e5345b950a601524afd1bd47bcecdb65a43326commit | diff
Fixes for abducts (#6279)

Fixes benchmarks 2 and 3 from #5848.
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_abduct.cpp diff | blob | history
src/theory/quantifiers/sygus/synth_conjecture.cpp diff | blob | history
test/regress/regress1/sygus/issue5848-3-trivial-no-abduct.smt2 [new file with mode: 0644] blob