cp-sat example https://developers.google.com/optimization/cp/cp_solver implementation example for daiy planner with contraints