Adapt to recent changes to base python API

cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5

Other

6 stars 9 forks source link

Closed nafur closed 2 years ago

nafur commented 2 years ago

The python base API has seen a few changes, and we need to adapt accordingly.