Releases · dafny-lang/solver-builds · GitHub

10 Apr 17:27

atomb

snapshot-2024-04-10

snapshot-2024-04-10 Latest

Latest

Remove Z3 4.8.5 and re-enable x64 builds on macOS.

Assets 22

z3-4.12.1-arm64-macos-11-bin.zip

7.81 MB 2024-04-10T17:27:29Z
z3-4.12.1-arm64-macos-12-bin.zip

7.83 MB 2024-04-10T17:27:31Z
z3-4.12.1-arm64-macos-13-bin.zip

7.82 MB 2024-04-10T17:27:32Z
z3-4.12.1-x64-macos-11-bin.zip

8.81 MB 2024-04-10T17:27:33Z
z3-4.12.1-x64-macos-12-bin.zip

8.73 MB 2024-04-10T17:27:34Z
z3-4.12.1-x64-macos-13-bin.zip

8.67 MB 2024-04-10T17:27:35Z
z3-4.12.1-x64-ubuntu-20.04-bin.zip

11.5 MB 2024-04-10T17:27:36Z
z3-4.12.1-x64-ubuntu-22.04-bin.zip

11.7 MB 2024-04-10T17:27:37Z
z3-4.12.1-x64-windows-2019-bin.zip

11 MB 2024-04-10T17:27:38Z
z3-4.12.1-x64-windows-2022-bin.zip

11 MB 2024-04-10T17:27:39Z
Source code (zip)

2024-04-09T23:23:46Z
Source code (tar.gz)

2024-04-09T23:23:46Z

09 Apr 21:51

atomb

snapshot-2024-04-09

snapshot-2024-04-09

Add Z3 4.12.6.

Assets 20

02 Aug 15:16

atomb

snapshot-2023-08-02

snapshot-2023-08-02

Adds arm64 builds of Z3 4.12.1 for macOS. To support this, build archive filenames now include an architecture.

Assets 14

17 Feb 18:16

atomb

snapshot-2023-02-17

snapshot-2023-02-17

Update actions versions

Assets 12