Comment on A dumb introduction to z3Comments−throwaway8152311moThis is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf−pkoird11moimo this is the pdf that many people like me used to learn SAT/SMT.
Comments
This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf
imo this is the pdf that many people like me used to learn SAT/SMT.