Aig is used at run time in 4 crates.
| Number of dependers | Aig version | Downloads/month |
|---|---|---|
| 3 | 0.3.1 | 93 |
| 1 | 0.2.9 | 16 |
| Depender (with downloads and own rev deps) | Aig version | |||
|---|---|---|---|---|
| 750 | rIC3 | ^0.3.1 | ||
| 1 | satif-cadical | ^0.3.0 | ||
| 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.1 | 93 |
| 1 | 0.2.9 | 16 |
| Depender (with downloads and own rev deps) | Aig version | |||
|---|---|---|---|---|
| 750 | rIC3 | ^0.3.1 | ||
| 1 | satif-cadical | ^0.3.0 | ||
| 1 | abc-rs | ^0.3.0 | ||
| btor | ^0.2 | |||