[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