Reverse dependencies of batsat // Lib.rs

BatSat is used at run time in 1 crate.

Depender (with downloads and own rev deps)			BatSat version
340		rustsat-batsat		^0.6.0