Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
legacy
nightly
releases
README.md

README.md

bin

Auxiliary repository used to store pre-compiled binary distribution packages of Z3.

The 'releases' directory contains official releases (stable).

The 'nightly' directory contains nightly automatic builds of the latest source code (may be unstable).