giputils is used at run time in 9 crates. It is a direct run-time dependency in 7 crates.
| Depender (with downloads and own rev deps) | giputils version | |||
|---|---|---|---|---|
| 700 | rIC3 | ^0.2.3 | ||
| 650 | 6 | logic-form | ^0.2.9 | |
| 550 | 1 | satif-cadical | ^0.2.6 | |
| 500 | 1 | satif-minisat | build | ^0.2.6 |
| 390 | 1 | satif-kissat | build | ^0.2.6 |
| 330 | 4 | aig | ^0.2.6 | |
| 250 | 1 | abc-rs | build | ^0.2.5 |