Reverse dependencies of satif-cadical // Lib.rs

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

Depender (with downloads and own rev deps)			satif-cadical version
600		rIC3		^0.1