SMT Divergence : How to Use it Effectively A Thread 🧵

SMT Divergence : How to Use it Effectively A Thread 🧵