varisat-checker is used at run time in 17 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-checker version Downloads/month
16 0.2.2 18K
2 0.2.1 11
Depender (with downloads and own rev deps) varisat-checker version
18K 13 varisat =0.2.2
1 varisat-lrat =0.2.2