Satif is used at run time in 4 crates.

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