Port details on branch 2022Q2 |
- py-z3-solver Python binding for Z3 Theorem Prover
- 4.8.17_1 math =0 4.8.17_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2018-07-24 21:04:04
- Last Update: 2023-08-13 14:48:43
- Commit Hash: c5c5666
- License: MIT
- WWW:
- https://github.com/Z3Prover/z3
- Description:
- Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}z3-solver>0:math/py-z3-solver@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-z3-solver/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-z3-solver
- pkg install py39-z3-solver
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above. NOTE: This is a Python port. Instead of py39-z3-solver listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-z3-solver
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1652241609
SHA256 (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 1e57637ce8d5212fd38453df28e2730a18e0a633f723682267be87f5b858a126
SIZE (Z3Prover-z3-z3-4.8.17_GH0.tar.gz) = 5232392
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- cmake : devel/cmake-core
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- This port is required by:
- for Run
-
- math/py-claripy
Configuration Options:
- No options to configure
- Options name:
- math_py-z3-solver
- USES:
- compiler:c++11-lang python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|