Satif is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | Satif version | |||
|---|---|---|---|---|
| 280 | satif-minisat | ^0.1.0 | ||
| 150 | satif-kissat | ^0.1.0 | ||
Satif is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | Satif version | |||
|---|---|---|---|---|
| 280 | satif-minisat | ^0.1.0 | ||
| 150 | satif-kissat | ^0.1.0 | ||