Home / Computer science / Traveling salesman problem (TSP) / Computation: Python, SAT, MTZ (with NN)
Auxiliary variables: Time of visitations
Per-city discrete time of visitation.
t = [model.new_int_var(0, n - 1, f"t_{i}") for i in range(n)]
Home / Computer science / Traveling salesman problem (TSP) / Computation: Python, SAT, MTZ (with NN)
Per-city discrete time of visitation.
t = [model.new_int_var(0, n - 1, f"t_{i}") for i in range(n)]