RE: https://mastodon.social/@fgregg/111429385063753445
i revisit this problem every few years to learn something new.
this time i used PuLP.
my branch and bound rust version took 10 minutes to solve the problem at K=30 (or more accurately to prove it had found an optimal solution).
this takes less than a second.
https://gist.github.com/fgregg/45f0c6e7f991789cd3f10414958b0ef8

