search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

Added bitwuzla to pysmt frontend #325

Closed jack-melchert closed 1 year ago

jack-melchert commented 1 year ago

Added bitwuzla to pysmt frontend, existing python tests are sufficient to test this.

jack-melchert commented 1 year ago

@yoni206 would you be able to merge this? I don't have write access to smt-switch.

yoni206 commented 1 year ago

Sure, waiting for jobs to finish.