How to use SMT Divergence. [A THREAD] 🧵

How to use SMT Divergence. [A THREAD] 🧵