search

cvc5 / cvc5_pythonic_api

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

Fix paths to rounding modes #74

Closed alex-ozdemir closed 2 years ago

alex-ozdemir commented 2 years ago

Required by https://github.com/cvc5/cvc5/commit/bf2d64336c2d3cda4db39b6b528c2a3fc7e0f792, I believe.

alex-ozdemir commented 2 years ago

No worries about the bindings. It's unavoidable given the repository separation.