BSD Portsmath/py-z3 4.14.0 NetBSD
Efficient SMT solver library
- System
- NetBSD
- Repository
- pkgsrc
- License
- mit
- Categories
- math
- Package size
- 19350.9 KiB, 69855.3 KiB installed
Description
z3 is an open source theorem prover / SMT solver from Microsoft Research.
(SMT stands for "satisfiability modulo theories".)
This package contains the Python bindings for z3.
Install
Binary package:
pkgin install py311-z3From pkgsrc:
cd /usr/pkgsrc/math/py-z3 && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 4.14.0 |
| NetBSD 10.1 aarch64 | 4.14.0 |
| SmartOS / illumos x86_64 | 4.14.0 |
| macOS 15 arm64 | 4.14.0 |
Dependencies
Run dependencies 3
Required by 1
Configuration
No options to configure.
- Service scripts
- none
- Flavors
py312-z3-4.14.0,py313-z3-4.14.0,py314-z3-4.14.0