z3/4.9.1!

The Z3 Theorem Prover

#prover#satisfiability#smt#solver#theorem#z3 unmaintained

Using z3

Loading usage information…

Packages

Linuxx86_64Release

package ID01fdf397e9a6531211f1a4cf77be596c70a03c0c
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilergcc
compiler.cppstd17
compiler.version11

optionsfPIC=True multithreaded=True shared=False use_gmp=False
Linuxx86_64Release

package ID60a3d9e0b3559fae5b65b8c5dfe6d2a4531e0eab
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilergcc
compiler.cppstd17
compiler.version11

optionsmultithreaded=True shared=True use_gmp=False
Macosarmv8Release

package ID2de5dd7941ba13003bc8b957b3b8c06a90334d35
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsfPIC=True multithreaded=True shared=False use_gmp=False
Macosarmv8Release

package IDc621309b3080d3d49f979a65a4bc9633845c4abc
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsmultithreaded=True shared=True use_gmp=False
Macosx86_64Release

package ID36807d3a9d9306e47e66197a2ef34135fd453171
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsmultithreaded=True shared=True use_gmp=False
Macosx86_64Release

package IDdceb5de24654f9c9cac64617a5e141b4ec56fee1
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilerapple-clang
compiler.cppstd17
compiler.version13

optionsfPIC=True multithreaded=True shared=False use_gmp=False
Windowsx86_64Release

package ID244c4d6abcc57c4cf3f5d2df0f3839481d921fe3
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilermsvc
compiler.cppstd17
compiler.version193
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsmultithreaded=True shared=True use_gmp=False
Windowsx86_64Release

package ID258cbeeaf51dac8c2c1ced0aa7caab1b919f454a
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilermsvc
compiler.cppstd17
compiler.version192
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsmultithreaded=True shared=True use_gmp=False
Windowsx86_64Release

package IDb8d106d090013ad1ba1efaef03481817316da4ee
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilermsvc
compiler.cppstd17
compiler.version192
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsmultithreaded=True shared=False use_gmp=False
Windowsx86_64Release

package IDe384c2bf8bd6844bae9f4ca8dd8c7a1a832bda64
Recipe revision2aa0f814fef232a210bc4845aa61688e

compilermsvc
compiler.cppstd17
compiler.version193
compiler.runtimedynamic
compiler.runtime_typeRelease

optionsmultithreaded=True shared=False use_gmp=False

Dependencies

Loading dependencies…

MIT9783fbda3fd4ed1b439949eb12225a3e
MITd62725e3096a409d7a4b70362ca52a4d
MITbebf645ac19da08365bc7a3f648a21c1
!MIT6d186067bb53734419e7c526af0cbba6
!MITb2f1a85c30aefa1e2bd1a076dcd32efc
!MIT10ba721318210b0004a466b705242956
!MITea6121f95c8409e81253a7b88f9f35fd
!MIT2004c3573f02cda40f2a35bcff86199d
!MIT2aa0f814fef232a210bc4845aa61688e
!bbdeb8ab816227c5fd651ddc0df36ee8

🔍 Ready to secure your dependencies in seconds?

  1. Register for free at conan.io/audit/register.
  2. Save your token and activate it via the confirmation email you receive.
  3. Configure Conan to use your token:
    conan audit provider auth conancenter --token=<token>
  4. Scan for vulnerabilities:
    # Check a specific reference
    conan audit list z3/4.9.1
    # Scan the entire dependency graph
    conan audit scan --requires=z3/4.9.1

Note: For more details on the Conan Audit command, please read this post.

Tip: To avoid exposing your token in shell history, authenticate using an environment variable (e.g. CONAN_AUDIT_PROVIDER_TOKEN_CONANCENTER=<token>). For more info, see the documentation.

conanv4.9.1
[![Conan Center](https://img.shields.io/conan/v/z3)](https://conan.io/center/recipes/z3)