Expose native optimization strategies through MiniZinc

9063b4e

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

CI on: pull_request 6

tidy

build-autoconf (macos-15)

build-autoconf (ubuntu-latest)

build-cmake-unix (macos-15, OFF)

build-cmake-unix (ubuntu-latest, ON)

build-cmake-unix-ninja

build-32-bit-linkage

build-cmake-qt-gist

build-cmake-qt5-gist-smoke

build-cmake-windows (shared, ON, OFF)

build-cmake-windows (static, OFF, ON)

build-cmake-windows-vcpkg

build-cmake-windows-msys2

build-autoconf-windows

Optimization component on: pull_request 10

Core / ubuntu-24.04 / shared=OFF

Core / ubuntu-24.04 / shared=ON

Core / macos-15 / shared=OFF

Core / macos-15 / shared=ON

Core / windows-2022 / shared=OFF

Core / windows-2022 / shared=ON

Native combined / ubuntu-24.04 / shared=OFF

Native combined / windows-2022 / shared=ON

HiGHS / ubuntu-24.04 / shared=OFF

HiGHS / macos-15 / shared=OFF

HiGHS / windows-2022 / shared=ON

Full-source ASan and UBSan

Full native and HiGHS hybrid ASan and UBSan

build-cmake-windows-msys2

succeeded Sep 7, 2026 in 8m 23s

Loading