BSD Ports

math/py-z3-solver 5.3.1.0 FreeBSD

Python binding for Z3 Theorem Prover

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
075c84e1a7
License
MIT
Categories
math
Package size
90.3 KiB, 660.4 KiB installed

Description

Python binding for Z3, a high-performance theorem prover developed at Microsoft Research.

In the other systems

SystemPortVersion
FreeBSDmath/py-z3-solver5.3.1.0
DragonFlymath/py-z3-solver4.8.17_1
HardenedBSDmath/py-z3-solver5.1.0.0
GhostBSDmath/py-z3-solver5.1.0.0

Install

Binary package:

pkg install py312-z3-solver

From the ports tree:

cd /usr/ports/math/py-z3-solver/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	py312-z3-solver>0:math/py-z3-solver

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest5.1.0.05.1.0.0_14.8.174.14.15.1.0.0_1
FreeBSD:14:quarterly5.1.0.05.1.0.0n/a4.14.15.1.0.0
FreeBSD:15:latest5.1.0.05.1.0.0_1n/a4.14.14.14.1
FreeBSD:15:quarterly5.1.0.05.1.0.0n/an/an/a
FreeBSD:16:latest5.1.0.05.1.0.0_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 1

The full lists below include those, and their dependencies in turn.

Build dependencies 16
Run dependencies 8

Configuration

No options to configure.

USES
cmake python
Service scripts
none

Files

pkg-plist 11
  • %%PYTHON_SITELIBDIR%%/z3/__init__.py
  • %%PYTHON_SITELIBDIR%%/z3/z3.py
  • %%PYTHON_SITELIBDIR%%/z3/z3consts.py
  • %%PYTHON_SITELIBDIR%%/z3/z3core.py
  • %%PYTHON_SITELIBDIR%%/z3/z3num.py
  • %%PYTHON_SITELIBDIR%%/z3/z3poly.py
  • %%PYTHON_SITELIBDIR%%/z3/z3printer.py
  • %%PYTHON_SITELIBDIR%%/z3/z3rcf.py
  • %%PYTHON_SITELIBDIR%%/z3/z3test.py
  • %%PYTHON_SITELIBDIR%%/z3/z3types.py
  • %%PYTHON_SITELIBDIR%%/z3/z3util.py
distinfo 1
FileSizeSHA256
Z3Prover-z3-5.3.1.0-z3-5.3.1_GH0.tar.gz7.868592e+06c007089dd8d92298d2a7d14105b14e8dddfbb540062ce471c3111e0741edd8da

Commit history 5

DateCommitCreditsLog message
075c84e1a7 Yuri Victorovich math/py-z3-solver: update 5.1.0.0 → 5.3.1.0
896185a6d8 Älven math/z3: Update 5.1.0.0 => 5.3.1.0
Approved by: arrowd@ (maintainer) Differential Revision: https://reviews.freebsd.org/D60825
365efad1d0 Yuri Victorovich */*: CMake 4 compatibility
PR: 295319
8f70cb04ae Älven math/py-z3-solver: Update 5.0.0.0 => 5.1.0.0
Approved by: yuri@ (maintainer) Differential Revision: https://reviews.freebsd.org/D58887
3990501095 Yuri Victorovich math/py-z3-solver: update 4.16.0 → 5.0.0.0
PR: 297107