satif-cadical 0.2.0

Rust wrapper for the CaDiCaL SAT solver
Documentation