Splr is used at run time in 2 crates. It's used only as a dev dependency in 1 crate.
| Number of dependers | Splr version | Downloads/month |
|---|---|---|
| 2 | 0.17.2 | 8 |
| 1 | 0.16.3 | 0 |
| Depender (with downloads and own rev deps) | Splr version | |||
|---|---|---|---|---|
| 100 | sat_toasty_helper | ^0.17.2 | ||
| rust-formal-verification | ^0.16.3 | |||
| pblib-rs | dev | ^0.17.1 | ||