Batsat is used at run time in 1 crate.

Depender (with downloads and own rev deps) Batsat version
340 rustsat-batsat ^0.5.0