quartz-tm-prover is used at run time in 1 crate.

Depender (with downloads and own rev deps) quartz-tm-prover version
280 quartz-rs ^0.1.0