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