search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
368 stars 46 forks source link

Website Certificate Expiry #394

Closed DominicDams closed 2 years ago

DominicDams commented 2 years ago

It appears that the Certificate for yices.csl.sri.com has expired as of Mon, 10 Jan 2022 23:59:59 GMT.

ianamason commented 2 years ago

Thanks @DominicDams. I have notified the authorities ...