Reverse dependencies of satif-minisat // Lib.rs

satif-minisat is used at run time in 1 crate.

Depender (with downloads and own rev deps)			satif-minisat version
240		rIC3		^0.2