MILP Solvers?

[stumarcus314]

The documentation linked below explains how to select linear programming (LP) solvers for EAGO. Does EAGO also make use of mixed integer linear programming (MILP) solvers? That is, does EAGO solve MILP subproblems?
https://psorlab.github.io/EAGO.jl/dev/optimizer/high_performance/#Linear-Programming-Solver-Selection

[RXGottlieb]

EAGO solves MILP subproblems if the problem given to EAGO is an MINLP. Most of the LP solvers mentioned in the documentation are capable of solving MILPs as well as LPs, but if a subsolver is selected that cannot solve MILPs, and an MINLP is given to EAGO, an error will be thrown.