cp_sat (cargo): Rust bindings to the Google CP-SAT constraint programming solver.
Keywords: constraint|programming|cp