95A31

Same problem here. The problems shows up only when the application autostart. Manually start works fine. I am on a fresh installed Manjaro with KDE and the app is installed...

Thank you. Now I have a problem with the solution checker, do you know if there is a workaround? MODEL ``` set of int: dom_a; var dom_a: a; array[1..3] of...

In my case is possible this workaround: DATA (Test-D.mzn) ``` var 0..5: a; array[int] of var bool: bs = [_,true,_]; ``` MODEL (Test-M.mzn) ``` constraint a > 0; solve satisfy;...

Hi @Syllo , Thank you for the answer! I am referring to the CPU time, the same that is show in HTop.

I made a little [extension](https://github.com/95A31/OverleafWheelZoom) to link _Ctrl + Mouse Wheel_ to the zoom buttons.

It has been natively implemented! https://github.com/overleaf/overleaf/commit/4fe66c018909dbd5c4d4b63b11e19452a2207186

@kpym Yes, I am on Chromium and _Ctrl + Mouse Wheel_ works.

Hi @EgorOrachyov, you understand correctly. The issue with CUB seems exactly what you are describing. I am using nvcc 11.4 and gcc 11.3.