miden-processor is used at run time in 2 crates.

Depender (with downloads and own rev deps) miden-processor version
1 miden-prover ^0.3
miden ^0.3