Boolector is used at run time in 4 crates (of which 1 optionally).

Depender (with downloads and own rev deps) Boolector version
1.8K radius2 ^0.4.3
140 1 haybale ^0.4.3
haybale-pitchfork ^0.4.2
monster-rs optional ~0.4