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
ctl-sat CTL (Computation Tree Logic) SAT solver
g20200210 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 Version of this port present on the latest quarterly branch.
Maintainer: search for ports maintained by this maintainer
Port Added: 2020-02-10 16:43:51
Last Update: 2020-02-10 16:43:21
SVN Revision: 525718
License: MIT
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
  1. bin/ctl-sat
  2. /usr/local/share/licenses/ctl-sat-g20200210/
  3. /usr/local/share/licenses/ctl-sat-g20200210/LICENSE
  4. /usr/local/share/licenses/ctl-sat-g20200210/MIT
Collapse this list.
Dependency lines:
  • ctl-sat>0:math/ctl-sat
To install the port: cd /usr/ports/math/ctl-sat/ && make install clean
To add the package: pkg install ctl-sat
PKGNAME: ctl-sat
Flavors: there is no flavor information for this port.

There are no ports dependent upon this port

Configuration Options
Master Sites:

Number of commits found: 1

Commit History - (may be incomplete: see SVNWeb link above for full details)
10 Feb 2020 16:43:21
Original commit files touched by this commit  g20200210
0mp search for other commits by this committer
New port: math/ctl-sat: CTL (Computation Tree Logic) SAT solver

CTL-SAT is a CTL (Computation Tree Logic) SAT solver. The user may test
satisfiability of a CTL formula may by providing it as a command-line
argument to the ctl-sat program, e.g.:

  ctl-sat "~( (A(pUq) ^ AG(q->r) ^ AG(r->EXr)) -> EFEGr )"

The worst-case time complexity is O((2^n)^3) for this SAT solver, while the
worst-case space complexity is O((2^n)^2).


Number of commits found: 1

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
opensmtpd*Feb 27
mbedtlsFeb 24
mbedtlsFeb 24
opensmtpdFeb 24
opensmtpdFeb 24
weechatFeb 21
webkit2-gtk3Feb 19
dovecotFeb 13
gitlab-ceFeb 13
grub2-bhyveFeb 12
libexifFeb 11
linux-flashplayerFeb 11
nginxFeb 09
nginx-develFeb 09
ksh93Feb 07

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

* - modified, not new

All vulnerabilities

Last updated:
2020-02-27 10:24:08

Deleted ports
Sanity Test Failures

NEW Graphs (Javascript)

Calculated hourly:
Port count 38467
Broken 645
Deprecated 420
Ignore 916
Forbidden 3
Restricted 150
Vulnerable 21
Expired 21
Set to expire 392
Interactive 0
new 24 hours 1
new 48 hours4
new 7 days47
new fortnight66
new month184

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