Resolvedor de programação inteira mista de ramificação e corte
