Aig is used at run time in 4 crates.

Number of dependers Aig version Downloads/month
3 0.3.0 210
1 0.2.9 55
Depender (with downloads and own rev deps) Aig version
800 rIC3 ^0.3.0
250 1 satif-cadical ^0.3.0
200 1 abc-rs ^0.3.0
btor ^0.2