`z3_jll.jl` (v4.13.4+0)

This is an autogenerated package constructed using BinaryBuilder.jl.

The originating build_tarballs.jl script can be found on Yggdrasil, the community build tree.

Bug Reports

If you have any issue, please report it to the Yggdrasil bug tracker.

Documentation

For more details about JLL packages and how to use them, see BinaryBuilder.jl documentation.

Sources

The tarballs for z3_jll.jl have been built from these sources:

compressed archive: https://github.com/Z3Prover/z3/releases/download/z3-4.13.4/z3_solver-4.13.4.0.tar.gz (SHA256 checksum: 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f)
compressed archive: https://github.com/phracker/MacOSX-SDKs/releases/download/10.15/MacOSX10.15.sdk.tar.xz (SHA256 checksum: 2408d07df7f324d3beea818585a6d990ba99587c218a3969f924dfcc4de93b62)

Platforms

z3_jll.jl is available for the following platforms:

macOS aarch64 {julia_version=1.10.0} (aarch64-apple-darwin-julia_version+1.10.0)
macOS aarch64 {julia_version=1.11.1} (aarch64-apple-darwin-julia_version+1.11.1)
macOS aarch64 {julia_version=1.12.0} (aarch64-apple-darwin-julia_version+1.12.0)
macOS aarch64 {julia_version=1.7.0} (aarch64-apple-darwin-julia_version+1.7.0)
macOS aarch64 {julia_version=1.8.2} (aarch64-apple-darwin-julia_version+1.8.2)
macOS aarch64 {julia_version=1.9.0} (aarch64-apple-darwin-julia_version+1.9.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.10.0, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.10.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.11.1, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.11.1)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.12.0, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.12.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.6.3)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.7.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.8.2)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc} (aarch64-linux-gnu-cxx03-julia_version+1.9.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.10.0, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.10.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.11.1, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.11.1)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.12.0, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.12.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.6.3)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.7.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.8.2)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc} (aarch64-linux-gnu-cxx11-julia_version+1.9.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.10.0, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.10.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.11.1, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.11.1)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.12.0, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.12.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.6.3)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.7.0)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.8.2, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.8.2)
Linux aarch64 {cxxstring_abi=cxx03, julia_version=1.9.0, libc=musl} (aarch64-linux-musl-cxx03-julia_version+1.9.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.10.0, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.10.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.11.1, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.11.1)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.12.0, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.12.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.6.3, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.6.3)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.7.0)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.8.2, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.8.2)
Linux aarch64 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=musl} (aarch64-linux-musl-cxx11-julia_version+1.9.0)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (armv6l-linux-gnueabihf-cxx03-julia_version+1.7.0)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (armv6l-linux-gnueabihf-cxx03-julia_version+1.8.2)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (armv6l-linux-gnueabihf-cxx11-julia_version+1.7.0)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (armv6l-linux-gnueabihf-cxx11-julia_version+1.8.2)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl} (armv6l-linux-musleabihf-cxx03-julia_version+1.7.0)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.2, libc=musl} (armv6l-linux-musleabihf-cxx03-julia_version+1.8.2)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl} (armv6l-linux-musleabihf-cxx11-julia_version+1.7.0)
Linux armv6l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.2, libc=musl} (armv6l-linux-musleabihf-cxx11-julia_version+1.8.2)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc} (armv7l-linux-gnueabihf-cxx03-julia_version+1.6.3)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (armv7l-linux-gnueabihf-cxx03-julia_version+1.7.0)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (armv7l-linux-gnueabihf-cxx03-julia_version+1.8.2)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc} (armv7l-linux-gnueabihf-cxx11-julia_version+1.6.3)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (armv7l-linux-gnueabihf-cxx11-julia_version+1.7.0)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (armv7l-linux-gnueabihf-cxx11-julia_version+1.8.2)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.6.3, libc=musl} (armv7l-linux-musleabihf-cxx03-julia_version+1.6.3)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl} (armv7l-linux-musleabihf-cxx03-julia_version+1.7.0)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx03, julia_version=1.8.2, libc=musl} (armv7l-linux-musleabihf-cxx03-julia_version+1.8.2)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.6.3, libc=musl} (armv7l-linux-musleabihf-cxx11-julia_version+1.6.3)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl} (armv7l-linux-musleabihf-cxx11-julia_version+1.7.0)
Linux armv7l {call_abi=eabihf, cxxstring_abi=cxx11, julia_version=1.8.2, libc=musl} (armv7l-linux-musleabihf-cxx11-julia_version+1.8.2)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.10.0, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.10.0)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.11.1, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.11.1)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.12.0, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.12.0)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.6.3)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.7.0)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.8.2)
Linux i686 {cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc} (i686-linux-gnu-cxx03-julia_version+1.9.0)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.10.0, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.10.0)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.11.1, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.11.1)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.12.0, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.12.0)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.6.3)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.7.0)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.8.2)
Linux i686 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc} (i686-linux-gnu-cxx11-julia_version+1.9.0)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.10.0} (i686-w64-mingw32-cxx03-julia_version+1.10.0)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.11.1} (i686-w64-mingw32-cxx03-julia_version+1.11.1)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.12.0} (i686-w64-mingw32-cxx03-julia_version+1.12.0)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.6.3} (i686-w64-mingw32-cxx03-julia_version+1.6.3)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.7.0} (i686-w64-mingw32-cxx03-julia_version+1.7.0)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.8.2} (i686-w64-mingw32-cxx03-julia_version+1.8.2)
Windows i686 {cxxstring_abi=cxx03, julia_version=1.9.0} (i686-w64-mingw32-cxx03-julia_version+1.9.0)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.10.0} (i686-w64-mingw32-cxx11-julia_version+1.10.0)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.11.1} (i686-w64-mingw32-cxx11-julia_version+1.11.1)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.12.0} (i686-w64-mingw32-cxx11-julia_version+1.12.0)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.6.3} (i686-w64-mingw32-cxx11-julia_version+1.6.3)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.7.0} (i686-w64-mingw32-cxx11-julia_version+1.7.0)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.8.2} (i686-w64-mingw32-cxx11-julia_version+1.8.2)
Windows i686 {cxxstring_abi=cxx11, julia_version=1.9.0} (i686-w64-mingw32-cxx11-julia_version+1.9.0)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.10.0, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.10.0)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.11.1, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.11.1)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.12.0, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.12.0)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.6.3)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.7.0)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.8.2)
Linux powerpc64le {cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc} (powerpc64le-linux-gnu-cxx03-julia_version+1.9.0)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.10.0, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.10.0)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.11.1, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.11.1)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.12.0, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.12.0)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.6.3)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.7.0)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.8.2)
Linux powerpc64le {cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc} (powerpc64le-linux-gnu-cxx11-julia_version+1.9.0)
macOS x86_64 {julia_version=1.10.0} (x86_64-apple-darwin-julia_version+1.10.0)
macOS x86_64 {julia_version=1.11.1} (x86_64-apple-darwin-julia_version+1.11.1)
macOS x86_64 {julia_version=1.12.0} (x86_64-apple-darwin-julia_version+1.12.0)
macOS x86_64 {julia_version=1.6.3} (x86_64-apple-darwin-julia_version+1.6.3)
macOS x86_64 {julia_version=1.7.0} (x86_64-apple-darwin-julia_version+1.7.0)
macOS x86_64 {julia_version=1.8.2} (x86_64-apple-darwin-julia_version+1.8.2)
macOS x86_64 {julia_version=1.9.0} (x86_64-apple-darwin-julia_version+1.9.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.10.0, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.10.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.11.1, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.11.1)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.12.0, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.12.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.6.3)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.7.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.8.2, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.8.2)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.9.0, libc=glibc} (x86_64-linux-gnu-cxx03-julia_version+1.9.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.10.0, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.10.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.11.1, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.11.1)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.12.0, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.12.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.6.3, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.6.3)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.7.0, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.7.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.8.2, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.8.2)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=glibc} (x86_64-linux-gnu-cxx11-julia_version+1.9.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.10.0, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.10.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.11.1, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.11.1)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.12.0, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.12.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.6.3, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.6.3)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.7.0, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.7.0)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.8.2, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.8.2)
Linux x86_64 {cxxstring_abi=cxx03, julia_version=1.9.0, libc=musl} (x86_64-linux-musl-cxx03-julia_version+1.9.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.10.0, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.10.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.11.1, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.11.1)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.12.0, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.12.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.6.3, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.6.3)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.7.0, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.7.0)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.8.2, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.8.2)
Linux x86_64 {cxxstring_abi=cxx11, julia_version=1.9.0, libc=musl} (x86_64-linux-musl-cxx11-julia_version+1.9.0)
FreeBSD x86_64 {julia_version=1.10.0} (x86_64-unknown-freebsd-julia_version+1.10.0)
FreeBSD x86_64 {julia_version=1.11.1} (x86_64-unknown-freebsd-julia_version+1.11.1)
FreeBSD x86_64 {julia_version=1.12.0} (x86_64-unknown-freebsd-julia_version+1.12.0)
FreeBSD x86_64 {julia_version=1.6.3} (x86_64-unknown-freebsd-julia_version+1.6.3)
FreeBSD x86_64 {julia_version=1.7.0} (x86_64-unknown-freebsd-julia_version+1.7.0)
FreeBSD x86_64 {julia_version=1.8.2} (x86_64-unknown-freebsd-julia_version+1.8.2)
FreeBSD x86_64 {julia_version=1.9.0} (x86_64-unknown-freebsd-julia_version+1.9.0)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.10.0} (x86_64-w64-mingw32-cxx03-julia_version+1.10.0)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.11.1} (x86_64-w64-mingw32-cxx03-julia_version+1.11.1)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.12.0} (x86_64-w64-mingw32-cxx03-julia_version+1.12.0)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.6.3} (x86_64-w64-mingw32-cxx03-julia_version+1.6.3)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.7.0} (x86_64-w64-mingw32-cxx03-julia_version+1.7.0)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.8.2} (x86_64-w64-mingw32-cxx03-julia_version+1.8.2)
Windows x86_64 {cxxstring_abi=cxx03, julia_version=1.9.0} (x86_64-w64-mingw32-cxx03-julia_version+1.9.0)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.10.0} (x86_64-w64-mingw32-cxx11-julia_version+1.10.0)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.11.1} (x86_64-w64-mingw32-cxx11-julia_version+1.11.1)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.12.0} (x86_64-w64-mingw32-cxx11-julia_version+1.12.0)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.6.3} (x86_64-w64-mingw32-cxx11-julia_version+1.6.3)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.7.0} (x86_64-w64-mingw32-cxx11-julia_version+1.7.0)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.8.2} (x86_64-w64-mingw32-cxx11-julia_version+1.8.2)
Windows x86_64 {cxxstring_abi=cxx11, julia_version=1.9.0} (x86_64-w64-mingw32-cxx11-julia_version+1.9.0)

Dependencies

The following JLL packages are required by z3_jll.jl:

Products

The code bindings within this package are autogenerated from the following Products:

LibraryProduct: libz3
LibraryProduct: libz3jl
ExecutableProduct: z3

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
src		src
.gitignore		.gitignore
Artifacts.toml		Artifacts.toml
LICENSE		LICENSE
Project.toml		Project.toml
README.md		README.md

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

`z3_jll.jl` (v4.13.4+0)

Bug Reports

Documentation

Sources

Platforms

Dependencies

Products

About

Releases 15

Packages

Contributors 2

Languages

License

JuliaBinaryWrappers/z3_jll.jl

Folders and files

Latest commit

History

Repository files navigation

z3_jll.jl (v4.13.4+0)

Bug Reports

Documentation

Sources

Platforms

Dependencies

Products

About

Resources

License

Stars

Watchers

Forks

Releases 15

Packages 0

Contributors 2

Languages

`z3_jll.jl` (v4.13.4+0)

Packages