[SCIP] set time_limit with AMPL

[Stefan Vigerske]

Hi,

also it will read a file scip.set if it is present.

Stefan

On 12/18/2017 07:19 AM, Benjamin Müller wrote:
> Dear Luca,
> 
> you can specify a SCIP settings file when you execute the binary:
> 
>      echo "limits/time = 60" > time.set
>      ./bin/scipampl <nl file> time.set
> 
> Best regards,
> Benny
> 
> On 12/17/2017 06:33 PM, Luca Mencarelli wrote:
>> Dear all,
>>
>> I am using scip with ampl and I would like to ask you how can I set the
>> time limit.
>>
>> Thanks in advance. Best regards,
>> Luca
>>
>