3 ms·
Any good primers on SMT solvers?
by DrNosferatu 1y ago
Any good primers on SMT solvers?
- nanolith 1y agoStart with this. https://smt.st/SAT_SMT_by_example.pdf https://smt.st/SAT_SMT_by_example.pdf The algorithms behind SAT / SMT are actually pretty straight-forward. One of these days, I'll get around to publishing an article to demystify them.