# The prover and the native compiler, as CI installs them (8.2).
#
# test.yml installs with `-c requirements/ci.txt`, so a leg runs these exact
# versions and a new z3-solver or llvmlite reaches CI only as a Dependabot
# pull request that changes this file and runs every leg. Users are not
# pinned: pyproject.toml keeps the ranges it has.
z3-solver==5.1.0.0
# llvmlite publishes no macOS x86_64 wheel after 0.45.1, and a leg must not
# build LLVM from source; every other leg has a wheel of the newest
llvmlite==0.49.0; sys_platform != "darwin" or platform_machine != "x86_64"
llvmlite==0.45.1; sys_platform == "darwin" and platform_machine == "x86_64"
