search

cvc5 / cvc5_pythonic_api

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

restricting the use of Solver(): no specification of logic #95

Open yoni206 opened 5 months ago

yoni206 commented 5 months ago

Solves #93 in order to be compatible with z3.