ARM-compiled target version of minizinc?

[Gabriel Hjort Åkerlund]

Is there a compiled version of Minizinc+some solver that targets the ARM instruction set? Has someone tried this out?

Cheers,

Gabriel Hjort Åkerlund

[Jip J. Dekker]

Hi Gabriel,

MiniZinc and its dependencies seem to work well on aarch64-apple-darwin. We are currently working in adding a universal MacOS build (which includes both x86_64 and arm64) to our CI system to allow us to include native MacOS ARM builds in the release and hopefully run tests on them as well. It seems that it is currently the CBC build that is a bit tricky to build as a universal library. This means that it will not yet be part of the upcoming MiniZinc path release, but will hopefully be available soon.

In the meantime the homebrew build seems to be working correctly on aarch64-apple-darwin. This includes gecode and CBC, but does not include the connections to proprietary solvers.

As far as I’m aware we have not tested MiniZinc on any linux or windows arm64 targets, but they should not pose many more problems apart from possible differences in platform/c++ libraries. Please let us know if you come across any issues.

Kind regards,

Jip

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/7ed2cc42-4189-493f-8716-ea56e76ff363n%40googlegroups.com.

[Gabriel Hjort Åkerlund]

Hi Jip,

Thank you for your reply! This is good to know.

Cheers,

Gabriel

[steven kelk]

Hi everyone,

My beloved x86 laptop recently broke and I now have a Windows 11 ARM laptop. As far as I can see there is no build of Minizinc ready to run on Windows 11 ARM. I then found this thread from 2021 where this topic is raised.

Is there any update on this? I still have access to x86 Windows and Linux machines, but it would be great if I could also get a Windows 11 ARM version running!

Thanks in advance!

Steven Kelk (Maastricht University)

Op maandag 1 maart 2021 om 23:25:45 UTC+1 schreef Jip J. Dekker:

[guido.tack]

Hi Steven,

We just discussed this with the team the other day actually. It should be fairly straightforward to build MiniZinc for Windows/ARM, however we will have to set up a suitable build machine and add it to our CI system, which requires a bit of work. I hope we'll be able to do this in the next month or so.

Cheers,

Guido

[steven kelk]

Hi Guido, everyone,

Thanks, it would be great to at some point have a dedicated Windows ARM build of Minizinc.

I haven't tested it much yet, but in the meantime I found the workaround of activating WSL2 (Windows Subsystem for Linux) and installing the Linux ARM version of Minizinc in there. Moreover -- earlier versions of WSL didn't have this feature as far as I am aware -- Linux programs with GUIs can now divert their graphical output to Windows. So I installed Minizinc-IDE inside the Linux subsystem, and the GUI can be used inside WIndows. So I'm basically running the Linux ARM version of Minizinc-IDE on my Windows machine :-)

Cheers,

Steven Kelk

Op di 18 mrt 2025 om 08:28 schreef 'guido.tack' via MiniZinc <mini...@googlegroups.com>:

To view this discussion visit https://groups.google.com/d/msgid/minizinc/72795368-5731-4149-871c-824bcbb8c124n%40googlegroups.com.

[steven kelk]

Hi Guido, all,

Is there any update on a Windows ARM build for Minizinc? I know there are alternatives and work-arounds, but it's always nice just to be able to download a full build with all

the major solvers already ready to go. For me this is mainly a convenience, but I can imagine that with a growing number of Windows ARM laptops on the market it will also be a good way to extend the reach of Minizinc to people who just want to try it out without going through the various compilation and  (back-end) installation steps.

Thanks as ever for all the hard work :-)

Cheers,

Steven

Op dinsdag 18 maart 2025 om 08:28:25 UTC+1 schreef guido.tack:

[jason.nguyen]

Hi,

We're still working on this and hoping to have packages working on Windows ARM soon.

Thank you,

Jason