Understanding SMT Divergence : A Thread 🧵

Understanding SMT Divergence : A Thread 🧵