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

Fix issues with CI #348

Closed CyanoKobalamyne closed 5 months ago

CyanoKobalamyne commented 5 months ago

This fixes a number of issues that make our CI workflows fail: