cat_solver (cargo): Rust bindings for the Kissat SAT solver
Keywords: satisfiability|kissat|solver|sat|logic