https://github.com/dafny-lang/solver-builds - snapshot-2025-07-02

- Shell
Published by fabiomadge about 1 year ago

https://github.com/dafny-lang/solver-builds - snapshot-2024-04-10

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

- Shell
Published by atomb about 2 years ago

https://github.com/dafny-lang/solver-builds - snapshot-2024-04-09

Add Z3 4.12.6.

- Shell
Published by atomb about 2 years ago

https://github.com/dafny-lang/solver-builds - snapshot-2023-08-02

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

- Shell
Published by atomb almost 3 years ago

https://github.com/dafny-lang/solver-builds - snapshot-2023-02-17

- Shell
Published by atomb over 3 years ago