Resolvidor de programação linear COIN-OR
