varisat-formula is used at run time in 23 crates (of which 5 optionally). It is a direct run-time dependency in 5 crates. It's used only as a dev dependency in 1 crate.
| Number of dependers | varisat-formula version | Downloads/month |
|---|---|---|
| 22 | 0.2.2 | 36K |
| 2 | 0.2.1 | 7 |
| Depender (with downloads and own rev deps) | varisat-formula version | |||
|---|---|---|---|---|
| 36K | 2 | varisat-dimacs | =0.2.2 | |
| 35K | 15 | varisat | =0.2.2 | |
| 35K | 2 | varisat-checker | =0.2.2 | |
| 35K | 2 | varisat-internal-proof | =0.2.2 | |
| 1 | varisat-lrat | =0.2.2 | ||