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

fix compile warnings #316

Closed ahmed-irfan closed 1 year ago

yoni206 commented 1 year ago

Thanks!