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