varisat-checker is used at run time in 15 crates (of which 3 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
14 0.2.2 17K
2 0.2.1 48
Depender (with downloads and own rev deps) varisat-checker version
17K 12 varisat =0.2.2
1 varisat-lrat =0.2.2