logic-form is used at run time in 4 crates. It is a direct run-time dependency in 3 crates.
| Number of dependers | logic-form version | Downloads/month |
|---|---|---|
| 2 | 0.4.0 | 180 |
| 2 | 0.3.4 | 150 |
| Depender (with downloads and own rev deps) | logic-form version | |||
|---|---|---|---|---|
| 900 | rIC3 | ^0.3.4 | ||
| 440 | 2 | satif | ^0.4.0 | |
| satif-minisat | ^0.3.0 | |||