projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18c55e2) | patch
Fixes and improvements to sygus satisfiable query generation (#7980)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 25 Jan 2022 17:15:51 +0000 (11:15 -0600)
committerGitHub <noreply@github.com>
Tue, 25 Jan 2022 17:15:51 +0000 (17:15 +0000)
commitb022fb999107870c07fad71944d916cfb6332f41
treeea6818d8bfeb03eef4df33190ebbdff0060b7338tree
parent18c55e25574ef9dab5af7cdb86ad497d97b40911commit | diff
Fixes and improvements to sygus satisfiable query generation (#7980)

Fixes issues related to the use of partial functions. Also ensures we avoid duplicate queries.
src/theory/quantifiers/query_generator.cpp diff | blob | history
src/theory/quantifiers/query_generator.h diff | blob | history