| Port details on branch 2022Q4 |
- z3 Z3 Theorem Prover
- 4.14.1.0 math
 =2      4.14.1.0Version of this port present on the latest quarterly branch. - Maintainer: arrowd@FreeBSD.org
- Port Added: 2015-09-22 15:43:26
- Last Update: 2025-03-18 16:03:59
- Commit Hash: 4a66b5a
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- License: MIT
- WWW:
- 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 - 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 = 1742299618
SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426
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.14.1.0:
GMP=off: GMP (multiple precision arithmetic) support
===> Use 'make config' to modify these settings
- Options name:
- math_z3
- USES:
- cmake 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.