snapshot-20240212

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 Monterey 12 (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).

snapshot-20230711

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.5
• Yices - 2.6.2
• Z3 - 4.8.8 and 4.8.14

Built for the following operating systems:

• macOS Monterey 12 (x86-64 and arm64)
• Ubuntu 20.04 (x86-64)
• Ubuntu 22.04 (x86-64)
• Windows Server 2019 (x86-64)

All of the binary distributions are built from CI with the exception of the arm64 macOS binaries, which are currently built manually. Eventually, we will produce the arm64 macOS binaries in CI as well. (See #34.)

snapshot-20221212

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.2
• Yices - 2.6.2
• Z3 - 4.8.8 and 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 20.04
• Ubuntu 22.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20221205

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.2
• Yices - 2.6.2
• Z3 - 4.8.10 and 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 20.04
• Ubuntu 22.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220902

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.2
• Yices - 2.6.2
• Z3 - 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 20.04
• Ubuntu 22.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220812

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.1
• Yices - 2.6.2
• Z3 - 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 20.04
• Ubuntu 22.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220721

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.0
• Yices - 2.6.2
• Z3 - 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 18.04
• Ubuntu 20.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220705

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.0
• Yices - 2.6.2
• Z3 - 4.8.14

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220131

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector 3.2.2
• CVC4 - 1.8
• Yices - 2.6.2
• Z3 - 4.8.14

For Windows, CVC4 binaries come from published binary tarballs. Eventually, we will build them ourselves.

snapshot-20220114

Contains the following solver versions:

• ABC - 99ab99bf
• CVC4 - 1.8
• Yices - 2.6.2
• Z3 - 4.8.14

For Windows, CVC4 binaries come from published binary tarballs. Eventually, we will build them ourselves.