Satif is used at run time in 4 crates.
| Number of dependers | Satif version | Downloads/month |
|---|---|---|
| 3 | 0.2.2 | 0 |
| 1 | 0.1.4 | 210 |
| Depender (with downloads and own rev deps) | Satif version | |||
|---|---|---|---|---|
| 700 | rIC3 | ^0.1 | ||
| 550 | 1 | satif-cadical | ^0.2.0 | |
| 500 | 1 | satif-minisat | ^0.2.0 | |
| 390 | 1 | satif-kissat | ^0.2.0 | |