diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2021-05-20 08:29:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 15:29:27 +0000 |
commit | bfa34c539319746dd3c247851cbbb8db86625fd0 (patch) | |
tree | 15d07e4da06d69649ee19706c04ca85f67c037e8 /examples/api/python/__init__.py | |
parent | 777b1a5f2bbfec6040e292cc182f5ec5f48d03e5 (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.
Diffstat (limited to 'examples/api/python/__init__.py')
-rw-r--r-- | examples/api/python/__init__.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/examples/api/python/__init__.py b/examples/api/python/__init__.py new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/examples/api/python/__init__.py |