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 |