• Morten Welinder's avatar
    Lanczos3: add constraints · 8e21cb68
    Morten Welinder authored
    The model has three identical parts, so there are six optimal solutions.
    Use constraints to force an ordering to match the certified result.
    8e21cb68