cp_sat 0.4.1

Rust bindings to the Google CP-SAT constraint programming solver.