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