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 | |||
|---|---|---|---|---|
| 650 | 1 | satif-kissat | ^0.2 | |
| 500 | 1 | satif-cadical | ^0.2 | |
| 310 | 4 | aig | ^0.2 | |
| 240 | rIC3 | ^0.2 | ||
| 190 | 4 | satif | ^0.2 | |
| 150 | 1 | satif-minisat | ^0.2 | |