cp_sat 0.3.1

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