varisat-dimacs is used at run time in 21 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-dimacs version | Downloads/month |
---|---|---|
20 | 0.2.2 | 36K |
2 | 0.2.1 | 6 |
Depender (with downloads and own rev deps) | varisat-dimacs version | |||
---|---|---|---|---|
35K | 15 | varisat | =0.2.2 | |
35K | 2 | varisat-checker | =0.2.2 |