use 'default' ilp solver if nothing specified