4 ms·
Yurichev's SAT/SMT by Example [0] is a great (free!) resource for learning how to model problems to SAT/SMT [0] - https://smt.st/ https://smt.st/
by rrampage 2y ago
Yurichev's SAT/SMT by Example [0] is a great (free!) resource for learning how to model problems to SAT/SMT
[0] - https://smt.st/ https://smt.st/
- abhgh 2y agoI second this as a good starting point. When I was picking up z3, this was helpful.