varisat-internal-proof is used at run time in 19 crates (of which 5 optionally). It is a direct run-time dependency in 2 crates. It's used only as a dev dependency in 1 crate.

Number of dependers varisat-internal-proof version Downloads/month
18 0.2.2 17K
2 0.2.1 6
Depender (with downloads and own rev deps) varisat-internal-proof version
17K 14 varisat =0.2.2
17K 2 varisat-checker =0.2.2