Home / Computer science / Traveling salesman problem (TSP) / Computation: Python, SAT, MTZ
model = cp.CpModel()