Raspberry Pi 5 platform

[Jeremy Jacobsohn]

I bought an 8GB Pi5 and have been playing around to see what it can do.

I installed Ubuntu Server 23.10 which is the first release that officially supports the Pi 5. As you know this is an ARM 64 bit processor, so the architecture is aarch64. That's not too far off from OR-Tools officially supported platforms which include aarch64 (presumably for Apple Silicon) and Ubuntu 22.04 LTS.

Software is the default 23.10 server install plus build-essential, cmake and clang from the default apt repository.

I cloned stable, ran cmake -S. -Bbuild -DBUILD_DEPS:BOOL=ON and cmake --build build. Less than two hours later (OK, it's not all that fast...) the build was 100% complete.

I've run some of the build/bin test programs and things look good. For example, magic_square_sat ran in .9 seconds.

There may be applications for Pi deployment in embedded computing or teaching contexts. Something that the OR-Teams could consider official support for, or maybe you already have!