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

Delete ci-scripts/download-cvc5.sh #334

Closed CyanoKobalamyne closed 10 months ago

CyanoKobalamyne commented 11 months ago

This script is not used anywhere, as far as I can tell. And even if it was, the links don't work anymore.

CyanoKobalamyne commented 10 months ago

Do you want to merge it? I don't have write access.

yoni206 commented 10 months ago

Oops, sorry! Just merged.