rustsat-minisat is used at run time in 1 crate (of which 1 optionally).

Depender (with downloads and own rev deps) rustsat-minisat version
300 rustsat-tools optional ^0.4.1