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
103 stars 40 forks source link

Update cvc5 to 1.1.1 #345

Closed CyanoKobalamyne closed 7 months ago

CyanoKobalamyne commented 7 months ago

To pull in the LibPoly fixes from https://github.com/cvc5/cvc5/pull/10087.