Joey Huchette .ical Session 07-3019:3010minCerberus: A solver for mixed-integer programs with disjunctionsJoey HuchetteDisjunctive programming (DP) is a powerful framework for modeling complex logic in optimization problems. In this talk, we present Cerberus, a prototype MIP solver that treats disjunctive constraints as first-class objects.JuMP Track