Full threadthrowaway81523·This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdfView on HN