Resolvedor de programação linear inteira mista
