boolector-sys is used at run time in 7 crates (of which 3 optionally). It is a direct run-time dependency in 3 crates.
| Depender (with downloads and own rev deps) | boolector-sys version | |||
|---|---|---|---|---|
| 130 | 4 | boolector | ^0.7.1 | |
| monster-rs | optional | ~0 | ||
| 1 | xlsynth-prover | optional | ^0.7.2 | |