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