Aig is used at run time in 4 crates.

Number of dependers Aig version Downloads/month
3 0.3.1 160
1 0.2.9 4
Depender (with downloads and own rev deps) Aig version
750 rIC3 ^0.3.1
140 1 satif-cadical ^0.3.0
1 abc-rs ^0.3.0
btor ^0.2