notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

Port details
py-PySMT Solver-agnostic library for SMT formulae manipulation and solving
0.8.0 math Deleted 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 Version of this port present on the latest quarterly branch.
Maintainer: search for ports maintained by this maintainer
Port Added: 2020-03-06 23:41:46
Last Update: 2020-03-08 16:18:05
SVN Revision: 528050
Also Listed In: python
License: APACHE20
SVNWeb : Homepage

There is no configure plist information for this port.

Dependency lines:
  • py37-PySMT>0:math/py-PySMT
No installation instructions: this port has been deleted.
The package name of this deleted port was:
Package flavors (<flavor>: <package>)
  • py37: py37-PySMT
  • py27: py27-PySMT

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py37-setuptools>0 : devel/py-setuptools@py37
  2. python3.7 : lang/python37
Runtime dependencies:
  1. py37-six>=0 : devel/py-six@py37
  2. py37-setuptools>0 : devel/py-setuptools@py37
  3. python3.7 : lang/python37
There are no ports dependent upon this port

Configuration Options


Master Sites:
Port Moves
  • port moved to math/py-pysmt on 2020-03-08
    REASON: Rename as recommended by the Python team

Number of commits found: 2

Commit History - (may be incomplete: see SVNWeb link above for full details)
08 Mar 2020 16:18:05
Original commit files touched by this commit  0.8.0
0mp search for other commits by this committer
Rename math/py-PySMT to math/py-pysmt

This is done in order to follow the policy set out by the Python team:

Reported by:	koobs
06 Mar 2020 23:41:39
Original commit files touched by this commit  0.8.0
0mp search for other commits by this committer
New port: math/py-PySMT

pySMT is a library for SMT formulae manipulation and solving, which makes
working with Satisfiability Modulo Theory simple.

Among others, the user can:

- Define formulae in a solver independent way in a simple and inutitive
- Write ad-hoc simplifiers and operators,
- Dump your problems in the SMT-Lib format,
- Solve them using one of the native solvers, or by wrapping any SMT-Lib
  complaint solver.

pySMT provides methods to define a formula in Linear Real Arithmetic (LRA),
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 2

User Login
Create account

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

This site
What is FreshPorts?
About the authors
How big is it?
The latest upgrade!

Enter Keywords:

Latest Vulnerabilities
postgresql10-serverMar 29
postgresql11-serverMar 29
postgresql12-serverMar 29
postgresql96-serverMar 29
gitlab-ceMar 26
rubygem-jsonMar 26
jenkinsMar 25
jenkins-ltsMar 25
phpmyadminMar 25
phpmyadmin5Mar 25
puppet6Mar 23
puppetdb5Mar 23
puppetdb6Mar 23
puppetserver5Mar 23
puppetserver6Mar 23

9 vulnerabilities affecting 74 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-03-29 21:30:17

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 38970
Broken 595
Deprecated 536
Ignore 865
Forbidden 5
Restricted 150
Vulnerable 23
Expired 4
Set to expire 510
Interactive 0
new 24 hours 7
new 48 hours13
new 7 days58
new fortnight80
new month158

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