Determine if a solver is capable of solving a mixed-integer program (MIP).
mip_capable(solver)
solver
A ReductionSolver object.
A logical value.
mip_capable(ECOS())