Z3 theorem prover
Project homepage: https://github.com/Z3Prover/z3
Description
The Z3 Theorem Prover.
Package information
- Ports path
- math/z3
- Package architecture
- amd64
- Maintainer
- Kirill A. Korinsky <kirill@korins.ky>
- Categories
- math, lang/python
- Available flavors
- None listed
- Only for architectures
- aarch64, amd64, arm, i386, mips64, mips64el, powerpc, powerpc64, riscv64, sparc64
Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.
Direct dependencies
Build
Test
Used by (1 dependency relationships)
Includes library, runtime, build and test dependencies.