SAT/SMT by Example has been updated

Now ~550pp.

The PDF: https://yurichev.com/writings/SAT_SMT_by_example.pdf.

Other info: https://yurichev.com/SAT_SMT.html.

Thanks to Xenia Galinskaya for carefully planned periods of forced distraction from work...

Also, my math notes has been moved away to a separate PDF: https://yurichev.com/writings/Math-for-programmers.pdf.

→ [list of blog posts] Please drop me email about bug(s) and/or suggestion(s): my emails.