BSD Ports

math/z3 5.3.0 OpenBSD

Z3 theorem prover

System
OpenBSD
Repository
OpenBSD ports
Maintainer
Kirill A. Korinsky <[email protected]>
Last update
Commit
c2a4763c37
Categories
math, lang/python

Description

The Z3 Theorem Prover.

In the other systems

SystemPortVersion
OpenBSDmath/z35.3.0
FreeBSDmath/z35.3.1.0
NetBSDmath/z34.14.0
DragonFlymath/z34.8.13

Install

Binary package:

pkg_add z3

From the ports tree:

cd /usr/ports/math/z3 && make install

Dependencies

Build dependencies 4
Required by 1

Commit history 3

DateCommitCreditsLog message
c2a4763c37 kirill math/z3: update to 5.3.1
44d9873854 kirill math/z3: update to 5.3.0
f81aa62251 kirill math/z3: update to 5.0.0