search

SRI-CSL / yices2

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

Merge the per-thread-state branch into master #469

Open ahmed-irfan opened 12 months ago

ahmed-irfan commented 12 months ago

Followup of https://github.com/SRI-CSL/yices2/issues/454