5 ms·Another "popular" option is Yices: https://yices.csl.sri.com https://yices.csl.sri.comby fallingmeat 5y agoAnother "popular" option is Yices: https://yices.csl.sri.com https://yices.csl.sri.com