cadical (cargo): Rust bindings for the CaDiCaL SAT solver
Keywords: satisfiability|solver|sat|logic|minisat