This release introduces signing and notarization for macOS binaries.
Contains the following solver versions:
- ABC - 99ab99bf
- Bitwuzla - 0.7.0
- Boolector - 3.2.2
- CVC4 - 1.8
- CVC5 - 1.3.1
- Yices - 2.6.5
- Z3 - 4.8.8 and 4.8.14
Built for the following operating systems:
- macOS Sequoia 15 (arm64 and x86-64)
- RedHat UBI 9 (arm64 and x86-64)
- Ubuntu 22.04 (arm64 and x86-64)
- Ubuntu 24.04 (arm64 and x86-64)
- Windows Server 2022 (x86-64)
All of the binary distributions are built from CI.