Pomelo is used at run time in 14 crates. It is a direct run-time dependency in 4 crates.

Depender (with downloads and own rev deps) Pomelo version
14K 4 smt2parser ^0.1.5
5 depict ^0.1
aws-smt-ir ^0.1.5
math-engine ^0.1.5