bitwuzla-sys is used at run time in 1 crate.

Depender (with downloads and own rev deps) bitwuzla-sys version
110 dryadsynth-bv ^0.2