search

cvc5 / cvc5_pythonic_api

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

Rename cvc5 kind names. #77

Closed mpreiner closed 2 years ago

mpreiner commented 2 years ago

This is in preparation for the kind name changes on the cvc5 side (https://github.com/cvc5/cvc5/pull/8507).

mpreiner commented 2 years ago

Subsumed by #79