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 | |||
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 | |||