Rudy’s OBTF Rudolf Adamkovič

Home / Computer science / Set cover / Computation


Re-parameterize

Prepare for optimal solution enumeration.

model.clear_objective()
model.add(sum(x[i] for i in range(m)) == y_star)

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.