[Scip] About time limit setting

key01023 at gmail.com key01023 at gmail.com
Sat Mar 7 05:56:01 CET 2015


Hi, 
I am actually trying to solve pseudo boolean problem using  scip binary files:
./scip-3.1.0.darwin.x86_64.gnu.opt.spx	-f file.pbo

However, I am wondering whether I could set a time limit in the calculation. Thank you:D 

With regards,
Chivalry


More information about the Scip mailing list