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

Add missing header #306

Closed CyanoKobalamyne closed 1 year ago

CyanoKobalamyne commented 2 years ago

Fixes https://github.com/stanford-centaur/smt-switch/issues/305.

yoni206 commented 1 year ago

@CyanoKobalamyne -- would it be possible for you to merge current master into your branch and push, so that the PR is synced with current master? This will allow us to check CI (which is now fixed on master).

CyanoKobalamyne commented 1 year ago

would it be possible for you to merge current master into your branch and push, so that the PR is synced with current master? This will allow us to check CI (which is now fixed on master).

Done! Sorry for the delay.

yoni206 commented 1 year ago

thanks!