Flussab is used at run time in 4 crates. It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) Flussab version
160 flussab-btor2 ^0.3.1
140 flussab-aiger ^0.3.0
1 flussab-cnf ^0.3.0