Contains the following solver versions:
- ABC - 99ab99bf
- Bitwuzla - 0.3.0
- Boolector - 3.2.2
- CVC4 - 1.8
- CVC5 - 1.1.1
- Yices - 2.6.2
- Z3 - 4.8.8 and 4.8.14
Built for the following operating systems:
- macOS Ventura 13 (x86-64)
- macOS Sonoma 14 (arm64)
- Ubuntu 20.04 (x86-64)
- Ubuntu 22.04 (x86-64)
- Ubuntu 22.04 (arm64)
- Windows Server 2019 (x86-64)
Most of the binary distributions are built from CI. The exception is the arm64 Ubuntu 22.04 binary distribution, which is currently built by hand (see this issue).