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

Depender (with downloads and own rev deps) satif-cadical version
750 rIC3 ^0.1.10