cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5
Other
6 stars 9 forks source link

Add more methods for option handling #71

Closed nafur closed 2 years ago

nafur commented 2 years ago

This PR adds wrappers for setOption(), getOption, getOptionNames() and getOptionInfo(). It also extends setOption() (and set()) to allow for setOption('name', 'value') in addition to keywords to simplify setting options whose names contain dashes.