The MiniZinc IDE had been ported to ArcaOS-OS/2.
The MiniZinc IDE is a text editor to write and run models, visualise search and solutions and profile performance.
Requires: Qt5 and qt5-qtwebsockets.
Port by Mentore Siesto.

The MiniZinc IDE had been ported to ArcaOS-OS/2.
The MiniZinc IDE is a text editor to write and run models, visualise search and solutions and profile performance.
Requires: Qt5 and qt5-qtwebsockets.
Port by Mentore Siesto.
