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
5.8K 4 smt2parser ^0.1.5
110 5 depict ^0.1
math-engine ^0.1.5
aws-smt-ir ^0.1.5