SMT Divergence: Everything You Need to Know! A thread 🧵

SMT Divergence: Everything You Need to Know! A thread 🧵