projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7d68c3) | patch
Add `getOptionInfo()` and `getOptionNames()` to python API (#8342)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 23 Mar 2022 19:53:18 +0000 (20:53 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 19:53:18 +0000 (19:53 +0000)
commit774b08351672eedee89e8cb4eba41e3c012bb777
tree13fdc2ef40d04bafe9e6c39f109b99b10a9f98b2tree
parentc7d68c3848e6647b4c21cbb08bebf28638be2bfdcommit | diff
Add `getOptionInfo()` and `getOptionNames()` to python API (#8342)

These extended options operations were still missing from the python API and are added with this PR. To simplify the integration (and also provide a reasonably pythonic interface) we return a dictionary from getOptionInfo() instead of exposing a std::variant-like interface.
The PR also includes the corresponding unit tests.
src/api/cpp/cvc5.h diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/CMakeLists.txt diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history