logic-form is used at run time in 4 crates.
| Depender (with downloads and own rev deps) | logic-form version | |||
|---|---|---|---|---|
| 310 | aig | ^0.2.0 | ||
| 280 | satif-minisat | ^0.2.0 | ||
| 160 | 2 | satif | ^0.2.0 | |
| 150 | satif-kissat | ^0.2.0 | ||
logic-form is used at run time in 4 crates.
| Depender (with downloads and own rev deps) | logic-form version | |||
|---|---|---|---|---|
| 310 | aig | ^0.2.0 | ||
| 280 | satif-minisat | ^0.2.0 | ||
| 160 | 2 | satif | ^0.2.0 | |
| 150 | satif-kissat | ^0.2.0 | ||