| Port details on branch 2022Q4 |
- z3 Z3 Theorem Prover
- 4.16.0.0 math
 =1      4.16.0.0Version of this port present on the latest quarterly branch. - Maintainer: arrowd@FreeBSD.org
- Port Added: 2015-09-22 15:43:26
- Last Update: 2026-02-21 08:06:07
- Commit Hash: e14de79
- People watching this port, also watch:: zapret2, agate, indi, zapret, qelectrotech
- License: MIT
- WWW:
- https://z3prover.github.io/
- https://github.com/Z3Prover/z3/
- Description:
- Z3 is 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 - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- To install the port:
- cd /usr/ports/math/z3/ && make install clean
- To add the package, run one of these commands:
- pkg install math/z3
- pkg install z3
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: z3
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1771516821
SHA256 (z3_solver-4.16.0.0.tar.gz) = 263d9ad668966e832c2b246ba0389298a599637793da2dc01cc5e4ef4b0b6c78
SIZE (z3_solver-4.16.0.0.tar.gz) = 5098891
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
- ninja : devel/ninja
- This port is required by:
- for Build
-
- security/klee
- for Libraries
-
- cad/PrusaSlicer
- math/py-z3-solver
- math/vampire
- security/py-angr
- sysutils/triton
- for Run
-
- devel/cbmc
- lang/solidity
- security/hs-cryptol
- security/klee
Configuration Options:- ===> The following configuration options are available for z3-4.16.0.0:
GMP=off: GMP (multiple precision arithmetic) support
===> Use 'make config' to modify these settings
- Options name:
- math_z3
- USES:
- cmake:testing compiler:c++20-lang localbase:ldflags
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.