z3/4.15.4

🔍 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.15.4
   # Scan the entire dependency graph
   conan audit scan --requires=z3/4.15.4

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.