[SCIP] Countsol timelimit

Izuwa Ahanor aizuwa at gmail.com
Wed Nov 3 08:09:12 CET 2021


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20211103/449d7e74/attachment.html>


More information about the Scip mailing list