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).