removed a default value
gomory cut isn't used right now