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 | |||
|---|---|---|---|---|
| 800 | rIC3 | ^0.3.2 | ||
| 240 | 4 | aig | ^0.3.2 | |
| 210 | 1 | satif-cadical | ^0.3.2 | |
| 200 | 1 | satif-kissat | ^0.3.2 | |
| 4 | satif | ^0.3.0 | ||
| satif-minisat | ^0.3.0 | |||