easy-smt is used at run time in 2 crates.

Depender (with downloads and own rev deps) easy-smt version
3.3K libpatron ^0.2.1
550 patronus ^0.2.1