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

The Source Code link is broken #397

Closed yurivict closed 2 years ago

yurivict commented 2 years ago

Here.

ianamason commented 2 years ago

We know. GitHub has the source. The yices site is in the process of moving (tectonically) to AWS to get around SRI's central IT censorship. When it moves, I will update the link. Meanwhile you can always click here to get the 2.6.4 source.

ianamason commented 2 years ago

I just fixed this @disteph.

But I don't see you as a user of the AWS box, so you will have to follow up with cisco.