Home / Computer science / Traveling salesman problem (TSP) / Computation: Python, SAT + NN, permutation
Decision variables
A permutation of the cities, forming a tour,
\begin{equation*} x \in \mathbb{N}^{n} \end{equation*}x = [model.new_int_var(0, n - 1, f"x_{i}") for i in range(n)]