logic-form is used at run time in 8 crates. It is a direct run-time dependency in 6 crates.
| Depender (with downloads and own rev deps) | logic-form version | |||
|---|---|---|---|---|
| 500 | rIC3 | ^0.2.6 | ||
| 240 | 4 | satif | ^0.2 | |
| 230 | 1 | satif-minisat | ^0.2 | |
| 170 | 4 | aig | ^0.2.7 | |
| 130 | 1 | satif-cadical | ^0.2 | |
| 1 | satif-kissat | ^0.2 | ||