Home / Computer science / Traveling salesman problem (TSP) / Computation: Python, SAT, MTZ
Decision variables
\begin{equation*}
X \in {\{0, 1\}}^n
\end{equation*}
x = [[model.new_bool_var(f"x_{i, j}") for j in range(n)] for i in range(n)]