logic-form is used at run time in 4 crates.

Depender (with downloads and own rev deps) logic-form version
310 aig ^0.2.0
280 satif-minisat ^0.2.0
170 2 satif ^0.2.0
150 satif-kissat ^0.2.0