from ortools.sat.python import cp_model

model = cp_model