search

cvc5 / cvc5_pythonic_api

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

Rename some datatype functions #78

Closed nafur closed 2 years ago

nafur commented 2 years ago

This fixes issues following renamed functions in the base python API.