4 ms·
I would appreciate recommendations for learning about SMT solvers. A good book, for instance?
by RobertoG 5y ago
I would appreciate recommendations for learning about SMT solvers. A good book, for instance?
- ahelwer 5y agoProgramming Z3 https://theory.stanford.edu/~nikolaj/programmingz3.html https://theory.stanford.edu/~nikolaj/programmingz3.html
- fallingmeat 5y agoAnother "popular" option is Yices: https://yices.csl.sri.com https://yices.csl.sri.com