search

SRI-CSL / yices2

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

improve ci (#463) #464

Closed ahmed-irfan closed 9 months ago

ahmed-irfan commented 9 months ago