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 | |||
---|---|---|---|---|
130 | 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 | |||
---|---|---|---|---|
130 | 4 | boolector | ^0.7.1 | |
monster-rs | optional | ~0 |