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 |