Satif is used at run time in 4 crates.
Depender (with downloads and own rev deps) | Satif version | |||
---|---|---|---|---|
800 | rIC3 | ^0.2.1 | ||
210 | 1 | satif-cadical | ^0.2.0 | |
200 | 1 | satif-kissat | ^0.2.0 | |
satif-minisat | ^0.2.0 |
Satif is used at run time in 4 crates.
Depender (with downloads and own rev deps) | Satif version | |||
---|---|---|---|---|
800 | rIC3 | ^0.2.1 | ||
210 | 1 | satif-cadical | ^0.2.0 | |
200 | 1 | satif-kissat | ^0.2.0 | |
satif-minisat | ^0.2.0 |