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 | 37 |
| 1 | 0.16.3 | 0 |
| Depender | Splr version | |||
|---|---|---|---|---|
| rust-formal-verification | ^0.16.3 | |||
| sat_toasty_helper | ^0.17.2 | |||
| pblib-rs | dev | ^0.17.1 | ||