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

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