z34.15.2
Install
To start using this module, make sure you have set up Bzlmod according to the user guide, and add the following to your MODULE.bazel file:
Copied to clipboard!
Read the Release Notes
Version history
Dependency graph
Direct (3) at version 4.15.2
Dev Dependencies (1)
Dependents
- No dependent modules yet
About
The Z3 Theorem Prover
Tested on
Platforms
🐧Debian 11
🐧Ubuntu 2404
🐧Ubuntu 2204
🍎macOS
🍎macOS Apple Silicon
🪟Windows
Bazel versions
⚡Bazel 7.x
⚡Bazel 8.x