3 ms·
The author of this (Dennis Yurichev) has also written a 200 page "Quick introduction into SAT/SMT solvers and symbolic execution" that is full of examples of ho
by jamessb 9y ago
The author of this (Dennis Yurichev) has also written a 200 page "Quick introduction into SAT/SMT solvers and symbolic execution" that is full of examples of how SAT/SMT solvers can be used.
[1]: https://yurichev.com/writings/SAT_SMT_draft-EN.pdf https://yurichev.com/writings/SAT_SMT_draft-EN.pdf