projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32c3001) | patch
Generalize example-based sym breaking to conjectures with constant function apps...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 14 Jan 2020 20:42:44 +0000 (14:42 -0600)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 20:42:44 +0000 (14:42 -0600)
commit9e94e0bfcf55cf4f11afaacfc2d9e03f2a259236
treed5ec8956dc69c010b9614f89a01b8ccff0f693a3tree
parent32c3001c293f50f53cc7a4ae35bd28966dfdd412commit | diff
Generalize example-based sym breaking to conjectures with constant function apps (#3605)
src/theory/quantifiers/sygus/sygus_pbe.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_pbe.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sygus/pLTL_5_trace.sy [new file with mode: 0644] blob