Satif is used at run time in 4 crates.

Depender (with downloads and own rev deps) Satif version
750 rIC3 ^0.2.1
1 satif-cadical ^0.2.0
1 satif-kissat ^0.2.0
satif-minisat ^0.2.0