Daemon Power

The NetBSD Packages Collection: math/py-z3

Brief description of the package:
Python bindings for the Z3 theorem prover / SMT solver

Please read the file "DESCR" for a longer description, or browse the package's history.

This package has a home page at https://github.com/Z3Prover/z3/.

Please note that this package has a mit license.

The package is located in the "math/py-z3" directory. The current source version of the package is "py38-z3-4.8.3". For a summary on how to use the package collection, go to the top of the packages tree.

Problem reports, updates or suggestions for this package should be reported with send-pr.

The following security vulnerabilities are known for math/py-z3 :

If you have a vulnerable package installed on any machine, you are advised to remove the package immediately, using the standard package tools. The pkg_admin audit command locates any installed package which has been mentioned in security advisories as being vulnerable.

This package requires the following package(s) to build: python38>=3.8 libffi>=1.20 cwrappers>=20150314 libuuid>=2.18 libffi>=3.3nb1 readline>=2.2 readline>=6.0 python38>=3.8.0 z3>=4.8.3 ocaml-num>=1.1 ocaml-findlib>=1.2 ocaml>=4.11.1 ocaml-findlib>=1.8.1 ocaml-num>=1.1nb2 .

This package requires the following package(s) to run: python38>=3.8 libffi>=1.20 libuuid>=2.18 libffi>=3.3nb1 python38>=3.8.0 z3>=4.8.3 ocaml-num>=1.1 ocaml-findlib>=1.2 ocaml>=4.11.1 ocaml-findlib>=1.8.1 ocaml-num>=1.1nb2 .

This package supports the following build-time options:

(none)

Select one of the links below to download the package in precompiled binary form for installation with pkg_add(1). Available machine architectures and package versions:
i386:py27-z3-4.8.3.tgz(NetBSD 8.0)
i386:py36-z3-4.8.3.tgz(NetBSD 8.0)
i386:py37-z3-4.8.3.tgz(NetBSD 8.0)
i386:py38-z3-4.8.3.tgz(NetBSD 8.0)
i386:py27-z3-4.8.3.tgz(NetBSD 8.0)
i386:py36-z3-4.8.3.tgz(NetBSD 8.0)
i386:py37-z3-4.8.3.tgz(NetBSD 8.0)
i386:py38-z3-4.8.3.tgz(NetBSD 8.0)
i386:py27-z3-4.8.3.tgz(NetBSD 8.0)
i386:py36-z3-4.8.3.tgz(NetBSD 8.0)
i386:py37-z3-4.8.3.tgz(NetBSD 8.0)
i386:py38-z3-4.8.3.tgz(NetBSD 8.0)
i386:py39-z3-4.8.3.tgz(NetBSD 8.0)
i386:py27-z3-4.8.3.tgz(NetBSD 9.0)
i386:py36-z3-4.8.3.tgz(NetBSD 9.0)
i386:py37-z3-4.8.3.tgz(NetBSD 9.0)
i386:py38-z3-4.8.3.tgz(NetBSD 9.0)
i386:py27-z3-4.8.3.tgz(NetBSD 9.0)
i386:py36-z3-4.8.3.tgz(NetBSD 9.0)
i386:py37-z3-4.8.3.tgz(NetBSD 9.0)
i386:py38-z3-4.8.3.tgz(NetBSD 9.0)
i386:py27-z3-4.8.3.tgz(NetBSD 9.0)
i386:py36-z3-4.8.3.tgz(NetBSD 9.0)
i386:py37-z3-4.8.3.tgz(NetBSD 9.0)
i386:py38-z3-4.8.3.tgz(NetBSD 9.0)
i386:py39-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py39-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py39-z3-4.8.3.tgz(NetBSD 8.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py39-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py27-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py36-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py37-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py38-z3-4.8.3.tgz(NetBSD 9.0)
x86_64:py39-z3-4.8.3.tgz(NetBSD 9.0)

The NetBSD packages collection is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.

[ Go up one level | Go to top of packages tree | List all packages ]