Avaliação de solvers baseados em branch-and-cut

Realização de experimentos computacionais para avaliação de resolvedores para problemas de programação linear inteira mista