projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcd2e8e) | patch
Stop using the solver for printing sygus synthesis solutions. (#6530)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Fri, 14 May 2021 16:24:54 +0000 (11:24 -0500)
committerGitHub <noreply@github.com>
Fri, 14 May 2021 16:24:54 +0000 (16:24 +0000)
commita4d56aed6874b4f074f5eb96c4a5d688988cba98
tree9c5a66819c38a2a1ae8aa777c4a3798275fe97d7tree
parentbcd2e8e2fd28e30cddac35a466bf6ca797e2aa51commit | diff
Stop using the solver for printing sygus synthesis solutions. (#6530)

This PR uses custom methods for printing the synthesis solutions instead of Solver::printSynthSolution, which is going to be removed by #6521.
examples/api/CMakeLists.txt diff | blob | history
examples/api/sygus-fun.cpp diff | blob | history
examples/api/sygus-grammar.cpp diff | blob | history
examples/api/sygus-inv.cpp diff | blob | history
examples/api/utils.cpp [new file with mode: 0644] blob
examples/api/utils.h [new file with mode: 0644] blob