Skip to content

z3_x64-linux-rel 4.12.1-vcpkg521504b63c362373e98791940a0c814e5e36faa863490d0fd1a2b31d84b5fefa Latest

NOT FOR DIRECT USE. Automatically generated cache package. Z3 is a theorem prover from Microsoft Research Version: 4.12.1 Triplet: x64-linux-rel CXX Compiler id: GNU CXX Compiler version: 11.4.0 Triplet/Compiler hash: c9d2d1848751395392d68a535b5d03c28c29a49f4109d7ccb77bdbff82007be4-2b16c94d0e736ca7e5695f4a1dd7a3a1079c2deb3da38d0976549c22b6d29761-a9cc48706cca742e5b6b955b1702a49b2a65371e Features: core Dependencies: vcpkg-cmake vcpkg-cmake-config

Install from the command line:
Learn more about NuGet packages
$ dotnet add package z3_x64-linux-rel --version 4.12.1-vcpkg521504b63c362373e98791940a0c814e5e36faa863490d0fd1a2b31d84b5fefa

Recent Versions

View all versions

Loading

Details

Last published

9 months ago

Discussions

0

Issues

21

Total downloads

5.06K