Satif is used at run time in 2 crates.

Depender (with downloads and own rev deps) Satif version
280 satif-minisat ^0.1.0
150 satif-kissat ^0.1.0