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 | |||
|---|---|---|---|---|
| 3 | move-to-yul | ^0.3.0 | ||
| 9 | mv-prover | ^0.3.0 | ||