giputils is used at run time in 11 crates.
| Depender (with downloads and own rev deps) | giputils version | |||
|---|---|---|---|---|
| 1.3K | 2 | logic-form | ^0.3.0 | |
| 1.0K | 1 | satif-kissat | build | ^0.3.5 |
| 950 | 1 | satif-cadical | ^0.3.5 | |
| 650 | satif-minisat | build | ^0.2.6 | |
| 600 | abc-rs | build | ^0.3.0 | |
| 6 | logicrs | ^0.3.6 | ||
| 3 | aig | ^0.3.5 | ||
| 1 | btor | ^0.3.6 | ||
| rIC3 | ^0.3.6 | |||
| 1 | smtif-bitwuzla | ^0.3.6 | ||