| Port details |
- py-z3 Python binding for Z3 Theorem Prover
- 4.7.1 math
Σ=0      4.7.1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-07-25 19:15:21
- Last Update: 2018-07-30 20:17:05
- SVN Revision: 475913
- License: MIT
- WWW:
- https://github.com/Z3Prover/z3
- Description: #
- Python binding for Z3, a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- 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.
- USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}z3>0:math/py-z3@${PY_FLAVOR}
- No installation instructions:
- This port has been deleted.
- PKGNAME: py27-z3
- Flavors: there is no flavor information for this port. #
- distinfo: #
- TIMESTAMP = 1529241358
SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7
SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416
No package information for this port in our database #- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies #
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies: #
-
- py27-setuptools>0 : devel/py-setuptools@py27
- python2.7 : lang/python27
- Runtime dependencies: #
-
- py27-setuptools>0 : devel/py-setuptools@py27
- python2.7 : lang/python27
- There are no ports dependent upon this port #
Configuration Options: #- No options to configure
- Options name: #
- N/A
- USES: #
- python
- FreshPorts was unable to extract/find any pkg message #
- Master Sites: #
|
| Port Moves |
- port deleted on 2025-01-02
REASON: Unknown, port deleted long time ago, entry added to clean up portscout.freebsd.org
|
Number of commits found: 2 #
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.7.1
30 Jul 2018 20:17:05
  |
yuri |
math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website
z3 is a different project on PyPI.
Reported by: koobs |
4.7.1
25 Jul 2018 19:14:54
|
yuri |
math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name
Reported by: arrowd |
Number of commits found: 2
|
