z3
The Z3 Theorem Prover
Library
Minimal
Install package
Latest min add z3 - Source archive SHA256
- c68c3e5e…3ac7
- Spec hash
- a1f84311…1fdf
- Target
- amd64/linux
- Needs network
- No
- Closed source
- No
Quick links
What is z3?
The Z3 Theorem Prover
How to use this package
Quick install
Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.
min add z3Declare as a task dependency in minimal.toml
Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.
[tasks.dev]
packages = ["z3"]Build-time vs runtime
Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.
min add --build z3
min add --runtime z3