SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

363 stars 45 forks source link

fix thread-safe timeouts to work on Windows #462

Closed ahmed-irfan closed 9 months ago

ahmed-irfan commented 9 months ago

461 is a workaround for the issue, but a proper solution need to implemented for Windows