[SCIP] Countsol timelimit

Ambros Gleixner gleixner at zib.de
Thu Nov 4 15:05:43 CET 2021


Hi Izuwa,

Yes, the regular time limit should also work with counting.  You would 
need to provide more detailed information for us to help.

Best,
Ambros


Am 03.11.21 um 08:09 schrieb Izuwa Ahanor:
> Hello,
> 
> Thanks for all your help this far. I would like to check how can I 
> implement a timelimit when counting solutions. I tried using the regular 
> solver time limit, but it doesn't seem to work.
> 
> I'm coding using c++.
> 
> Thanks,
> Izuwa.
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 


More information about the Scip mailing list