Z3_Multiarch 

Unofficial repackage of the Z3 4.12.2 theorem prover bundling the AnyCPU managed binding and per-RID native libraries (win-x64, win-x86, linux-x64, linux-arm64, osx-x64, osx-arm64) so that PackageReference... More information