Closed odow closed 1 year ago
Part of #496
Urgh. Nasty bound problems. It needed to be an upper bound on the second stage, not an upper bound on the full problem.
Part of #496