This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

throwaway81523 8 months ago | parent | context | favorite | on: A dumb introduction to z3

This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf

pkoird 8 months ago [–]

imo this is the pdf that many people like me used to learn SAT/SMT.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact