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 |