- libc6 (>= 2.17)
- libgcc-s1 (>= 3.0)
- libqt5core5a (>= 5.15.1)
- libqt5gui5 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1)
- libqt5network5 (>= 5.14.1)
- libqt5sql5 (>= 5.0.2)
- libqt5webchannel5 (>= 5.6.1)
- libqt5webenginewidgets5 (>= 5.7.1)
- libqt5widgets5 (>= 5.14.1)
- libstdc++6 (>= 5.2)
- minizinc (>= 2.4.1)