cp_sat 0.4.0

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