issues
search
cvc5
/
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Other
6
stars
9
forks
source link
Adds proof support for the pythonic API
#99
Closed
HanielB
closed
3 months ago