notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
Port details
py-z3-solver Python binding for Z3 Theorem Prover
4.8.17 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.8.10Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-24 21:04:04
Last Update: 2022-05-11 06:21:10
Commit Hash: 6b1cc7d
License: MIT
Description:
SVNWeb : git : Homepage
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 py38-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 py38-z3-solver listed in the above command, you can pick from the names under the Packages section.
PKGNAME: py38-z3-solver
Package flavors (<flavor>: <package>)
  • py38: py38-z3-solver
distinfo:
Packages (timestamps in pop-ups are UTC):
py27-z3-solver
ABIlatestquarterly
FreeBSD:11:aarch644.7.14.8.7
FreeBSD:11:amd64--
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch644.7.1-
FreeBSD:12:amd64--
FreeBSD:12:armv64.7.14.8.8
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 
py36-z3-solver
ABIlatestquarterly
FreeBSD:11:aarch644.7.1-
FreeBSD:11:amd64--
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch644.7.1-
FreeBSD:12:amd64--
FreeBSD:12:armv64.7.1-
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 
py37-z3-solver
ABIlatestquarterly
FreeBSD:11:aarch64-4.8.7
FreeBSD:11:amd64--
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd64--
FreeBSD:12:armv6-4.8.8
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-4.8.10
FreeBSD:13:aarch64--
FreeBSD:13:amd64--
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc644.8.9-
FreeBSD:14:aarch64--
FreeBSD:14:amd64--
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc644.8.10-
 
py38-z3-solver
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd644.8.104.8.10
FreeBSD:11:armv6--
FreeBSD:11:i386--
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64-4.8.10
FreeBSD:12:amd644.8.174.8.10
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i386--
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch644.8.174.8.10
FreeBSD:13:amd644.8.174.8.10
FreeBSD:13:armv6--
FreeBSD:13:armv7-4.8.10
FreeBSD:13:i386--
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-4.8.10
FreeBSD:14:aarch644.8.17-
FreeBSD:14:amd644.8.17-
FreeBSD:14:armv64.8.17-
FreeBSD:14:armv74.8.17-
FreeBSD:14:i386--
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cmake : devel/cmake
  2. py38-setuptools>0 : devel/py-setuptools@py38
  3. python3.8 : lang/python38
Runtime dependencies:
  1. py38-setuptools>0 : devel/py-setuptools@py38
  2. python3.8 : lang/python38
This port is required by:
for Run
  1. math/py-claripy

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.8.17?dummy=/
Collapse this list.

Number of commits found: 19

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
11 May 2022 06:21:10
 files touched by this commit commit hash:6b1cc7d40727c5060fcf0ff3082c1dffcc069288  4.8.17
Yuri Victorovich (yuri) search for other commits by this committer
math/py-z3-solver: Update 4.8.10 -> 4.8.17
12 Nov 2021 14:48:46
 files touched by this commit commit hash:faacc138e03d705339dc2b9e927efdddbe309071  4.8.10
Piotr Kubaj (pkubaj) search for other commits by this committer
math/py-z3-solver: fix build on armv7

Same issue as on powerpc.
10 Jun 2021 12:39:17
 files touched by this commit commit hash:b08a7396eb210bcd6e23a83e003743e88018958f  4.8.10
Piotr Kubaj (pkubaj) search for other commits by this committer
math/py-z3-solver: fix build on powerpc

ld: error: can't create dynamic relocation R_PPC_ADDR16_LO against local symbol
in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext'
to allow text relocations in the output
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  4.8.10
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  4.8.10
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
15 Feb 2021 05:33:37
Original commit files touched by this commit Revision:565290  4.8.10
yuri search for other commits by this committer
math/py-z3-solver: Update 4.8.9 -> 4.8.10
28 Dec 2020 23:02:15
Original commit files touched by this commit Revision:559531  4.8.9
antoine search for other commits by this committer
Drop python 2.7 support from a few ports

With hat:	portmgr
11 Nov 2020 05:25:15
Original commit files touched by this commit Revision:554872  4.8.9
yuri search for other commits by this committer
math/py-z3-solver: Update 4.8.8 -> 4.8.9
22 Jul 2020 00:47:13
Original commit files touched by this commit Revision:542828  4.8.8
yuri search for other commits by this committer
math/py-z3-solver: Update 4.8.7 -> 4.8.8
06 Mar 2020 02:17:03
Original commit files touched by this commit Revision:527855  4.8.7
yuri search for other commits by this committer
math/py-z3-solver: Update 4.8.4 -> 4.8.7
28 Jul 2019 18:29:13
Original commit files touched by this commit Revision:507522  4.8.4_3
yuri search for other commits by this committer
math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help

Reported to the upstream.

Reported by:	fallout
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  4.8.4_3
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
09 Jun 2019 04:17:35
Original commit files touched by this commit Revision:503778  4.8.4_2
yuri search for other commits by this committer
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs
19 May 2019 04:35:11
Original commit files touched by this commit Revision:502012  4.8.4_1
yuri search for other commits by this committer
math/py-z3-solver: Fix build on 13-CURRENT i386

Reported by:	fallout
10 Feb 2019 18:17:14
Original commit files touched by this commit Revision:492625  4.8.4
yuri search for other commits by this committer
math/py-z3-solver: Update 4.7.1 -> 4.8.4
12 Jan 2019 23:11:23
Original commit files touched by this commit Revision:490085  4.7.1
linimon search for other commits by this committer
This port requires USES=compiler:c++11-lang to build on GCC-based
architectures.

PR:		234336
Submitted by:	Piotr Kubaj
Approved by:	maintainer
30 Jul 2018 20:17:05
Original commit files touched by this commit Revision:475913  4.7.1
yuri search for other commits by this committer
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
25 Jul 2018 19:14:54
Original commit files touched by this commit Revision:475328  4.7.1
yuri search for other commits by this committer
math/py-z3-solver: Rename to math/py-z3 to have a more intuitive name

Reported by:	arrowd
24 Jul 2018 21:03:48
Original commit files touched by this commit Revision:475278  4.7.1
yuri search for other commits by this committer
math/z3: Fix the python binding to work for all python versions

The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.

While here, remove the unnecessary CONFLICTS statement.

PR:		229937
Approved by:	portmgr

Number of commits found: 19