z3-5.0.0
Z3 theorem prover
Back to search · Project homepage
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
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.
Direct dependencies
Build
Test
Used by (1 dependency relationships)
Includes library, runtime, build and test relationships. Results load 100 at a time.