Z3.Multiplatform 4.12.2

Z3.Multiplatform

An unofficial repackage of the Z3 theorem prover 4.12.2 that bundles the managed binding and the native library for every runtime Z3 publishes a build for, so a plain PackageReference resolves the correct native on restore — no build-time downloads, no per-RID MSBuild plumbing.

This exists because the official Microsoft.Z3 package (4.12.0+) drops the Linux native and ships CPU-architecture-locked managed bindings (its Windows Microsoft.Z3.dll is x64/x86-flagged and will not load in an arm64 process). This package instead ships the AnyCPU managed binding — which loads in any process on any OS — and selects the native per RID.

Usage

<PackageReference Include="Z3.Multiplatform" Version="4.12.2" />

Then use the Microsoft.Z3 API as normal:

using Microsoft.Z3;
using var ctx = new Context();
// ...

No additional configuration is required for RID-targeted publishes or for framework-dependent runs (including dotnet test) — the .NET host resolves the matching native from the package's runtimes/<rid>/native/ assets.

Supported runtimes

Not supported (no upstream native exists for Z3 4.12.2): win-arm64, and musl-based Linux (linux-musl-*, e.g. Alpine — the bundled Linux builds are glibc-only).

Provenance & integrity

All binaries are extracted unmodified from the official Z3 4.12.2 release archives (GitHub releases; the linux-arm64 native from the upstream PyPI manylinux2014_aarch64 wheel, which has no GitHub asset). Each archive is verified against a pinned SHA-256 at pack time before extraction. The managed Microsoft.Z3.dll is the AnyCPU build taken from the Linux glibc archive.

License

Z3 is © Microsoft Corporation, licensed under the MIT License. This package redistributes the official binaries unmodified and is itself MIT-licensed. It is not an official Microsoft or Z3 distribution.

Maintaining

The package is produced by Z3.Multiplatform.csproj. To release a new Z3 version: bump Z3Version, update the six pinned SHA-256 values (and the PyPI wheel URL if its hash path changed), and tag z3-multiplatform-vX.Y.Z to trigger the publish workflow. To republish the same Z3 version, bump only the package Version (e.g. 4.12.2.1).