FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
z3 Z3 Theorem Prover
4.5.0_1 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
Maintainer: 6yearold@gmail.com search for ports maintained by this maintainer
Port Added: 22 Sep 2015 15:43:26
License: MIT
Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3
SVNWeb : Homepage : PortsMon : pkg-plist

To install the port: cd /usr/ports/math/z3/ && make install clean
To add the package: pkg install z3

PKGNAME: z3

distinfo:

TIMESTAMP = 1480626874
SHA256 (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c
SIZE (Z3Prover-z3-z3-4.5.0_GH0.tar.gz) = 3573695


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. python2.7 : lang/python27
Runtime dependencies:
  1. python2.7 : lang/python27
There are no ports dependent upon this port

Configuration Options
===> The following configuration options are available for z3-4.5.0_1:
     DEBUG=off: Build with debugging support
     GMP=off: Use GMP library for AP arithmetic
     PYTHON=on: Enable python bindings
     STATIC=on: Build static z3 library
===> Use 'make config' to modify these settings

USES:
python

Master Sites:
  1. https://codeload.github.com/Z3Prover/z3/tar.gz/z3-4.5.0?dummy=/

Number of commits found: 6

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
05 Sep 2017 15:26:55
Original commit files touched by this commit  4.5.0_1
Revision:449291
jrm search for other commits by this committer
math/z3: Patch to add SONAME to shared library

Also ensure that python is available at build time when the PYTHON option
(for python bindings) is off.

PR:		221321
Submitted by:	6yearold@gmail.com (maintainer)
09 Dec 2016 07:02:53
Original commit files touched by this commit  4.5.0
Revision:428167
wen search for other commits by this committer
- Update to 4.5.0

PR:		215126
Submitted by:	itbot@list.ru
Approved by:	6yearold@gmail.com(maintainer)
21 Apr 2016 16:43:15
Original commit files touched by this commit  4.4.0
Revision:413746
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:16:20
Original commit files touched by this commit  4.4.0
Revision:412348
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
23 Sep 2015 15:09:10
Original commit files touched by this commit  4.4.0
Revision:397618
feld search for other commits by this committer
Port improvements and modernization

This is a no-op

Submitted by:	jbeich
22 Sep 2015 15:43:18
Original commit files touched by this commit  4.4.0
Revision:397543
feld search for other commits by this committer
Z3 is a high-performance theorem prover developed
at Microsoft Research.

WWW: https://github.com/Z3Prover/z3

PR:		202136
Submitted by:	6yearold@gmail.com

Number of commits found: 6

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
curlOct 23
mariadb100-server*Oct 23
mariadb101-server*Oct 23
mariadb102-server*Oct 23
mariadb55-server*Oct 23
mysql55-server*Oct 23
mysql56-server*Oct 23
mysql57-server*Oct 23
percona55-server*Oct 23
percona56-server*Oct 23
percona57-server*Oct 23
irssiOct 22
chromiumOct 21
arjOct 19
cactiOct 19

26 vulnerabilities affecting 111 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 31616
Broken 153
Deprecated 79
Ignore 423
Forbidden 0
Restricted 176
No CDROM 78
Vulnerable 58
Expired 16
Set to expire 72
Interactive 0
new 24 hours 1
new 48 hours9
new 7 days23
new fortnight51
new month428

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.