mv-prover-boogie-backend is used at run time in 116 crates (of which 2 optionally). It is a direct run-time dependency in 2 crates. It's used only as a dev dependency in 14 crates.

Depender (with downloads and own rev deps) mv-prover-boogie-backend version
9 mv-prover ^0.3.0
3 move-to-yul ^0.3.0