[SMT-COMP] SAT/SMT by Example

[Dennis Yurichev]

Hi all!

I'm writing a non-academic book for a general audience of programmers,
"SAT/SMT by Example": https://yurichev.com/writings/SAT_SMT_by_example.pdf
This is a collection of various examples, on how SAT/SMT solvers can be used.
It's still a bunch of draft blog posts, however...
Now I'm asking for feedback, criticism, comments, etc.
What do you think?

-- 
-- http://www.yurichev.com
Sometimes I may delay my E-Mail reply. Sorry in advance for the inconvenience.
Expecting a reply from me? Maybe your email was marked as spam. Please resend it to dennis.yurichev at gmail.com
It's advisable to use PGP if/when possible. My public keys: http://yurichev.com/pgp.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: </pipermail/smt-comp/attachments/20190401/e41d9ec3/attachment.asc>