← Back to context Comment by aaronblohowiak 20 hours ago import z3 1 comment aaronblohowiak Reply cerved 17 hours ago from ortools.sat.python import cp_model
from ortools.sat.python import cp_model