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