<div dir="auto">Hello,<div dir="auto"><br></div><div dir="auto">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.</div><div dir="auto"><br></div><div dir="auto">I'm coding using c++.</div><div dir="auto"><br></div><div dir="auto">Thanks,</div><div dir="auto">Izuwa.</div><div dir="auto"><br></div></div>