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

Depender rustsat-minisat version
rustsat-tools optional ^0.4.1