projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 777b1a5) | patch
Avoid using printSynthSolution in the python API and examples (#6564)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 20 May 2021 15:29:27 +0000 (08:29 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 15:29:27 +0000 (15:29 +0000)
commitbfa34c539319746dd3c247851cbbb8db86625fd0
tree15d07e4da06d69649ee19706c04ca85f67c037e8tree
parent777b1a5f2bbfec6040e292cc182f5ec5f48d03e5commit | diff
Avoid using printSynthSolution in the python API and examples (#6564)

The function printSynthSolution declared here is going to be removed in #6521.

This PR removes it from the python API.
Following #6530, this PR also replaces its usages in the examples by a utility function.
For this, we also add support for getSynthSolutions in the python API.
examples/api/python/CMakeLists.txt diff | blob | history
examples/api/python/__init__.py [new file with mode: 0644] blob
examples/api/python/sygus-fun.py diff | blob | history
examples/api/python/sygus-grammar.py diff | blob | history
examples/api/python/sygus-inv.py diff | blob | history
examples/api/python/utils.py [new file with mode: 0644] blob
examples/api/utils.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history