Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d44217298841928b194c3536c76

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

Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d44217298841928b194c3536c76 #353

Closed CyanoKobalamyne closed 2 months ago

yoni206 commented 2 months ago

Thanks for this, LGTM. One thing that I wonder -- do we want to use latest commits of solvers, or only releases?

CyanoKobalamyne commented 2 months ago

Mathias told me that we should use the latest commit on main.

CyanoKobalamyne commented 2 months ago

But I'm actually waiting for a fix to be pushed, so maybe hold off on merging this.

CyanoKobalamyne commented 2 months ago

Actually, it seems that the fix will take some time, so I think that we should merge this now if we can. There have still been a lot of changes since the last update.