Home / Computer science / Set cover / Computation
Constraints
Every part is covered by some supplier,
\begin{equation*} \forall j \sum_{i = 1}^{m} a_{ij} x_i \geq 1. \end{equation*}for j in range(n):
model.add(sum(A[i, j] * x[i] for i in range(m)) >= 1)