Loading Open Internet
    Huub v100.0.0 — an extensible CP+SAT solver for combinatorial problems, built for both practice and research