notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
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 View this port on Repology. pkg-fallout g20200210Version of this port present on the latest quarterly branch.
Maintainer: 0mp@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-02-10 16:43:51
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
Collapse this list.
  1. bin/ctl-sat
  2. /usr/local/share/licenses/ctl-sat-g20200210/catalog.mk
  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, run one of these commands:
  • pkg install math/ctl-sat
  • pkg install ctl-sat
PKGNAME: ctl-sat
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
ctl-sat
ABIlatestquarterly
FreeBSD:11:aarch64-g20200210
FreeBSD:11:amd64g20200210g20200210
FreeBSD:11:armv6-g20200210
FreeBSD:11:i386g20200210g20200210
FreeBSD:11:mips--
FreeBSD:11:mips64-g20200210
FreeBSD:12:aarch64-g20200210
FreeBSD:12:amd64g20200210g20200210
FreeBSD:12:armv6-g20200210
FreeBSD:12:armv7-g20200210
FreeBSD:12:i386g20200210g20200210
FreeBSD:12:mips--
FreeBSD:12:mips64-g20200210
FreeBSD:12:powerpc64-g20200210
FreeBSD:13:aarch64g20200210g20200210
FreeBSD:13:amd64g20200210g20200210
FreeBSD:13:armv6g20200210g20200210
FreeBSD:13:armv7g20200210g20200210
FreeBSD:13:i386g20200210g20200210
FreeBSD:13:mips--
FreeBSD:13:mips64g20200210g20200210
FreeBSD:13:powerpc64g20200210g20200210
FreeBSD:14:aarch64g20200210-
FreeBSD:14:amd64g20200210-
FreeBSD:14:armv6g20200210-
FreeBSD:14:armv7g20200210-
FreeBSD:14:i386g20200210-
FreeBSD:14:mips--
FreeBSD:14:mips64g20200210-
FreeBSD:14:powerpc64g20200210-
 

There are no ports dependent upon this port

Configuration Options:
Options name:
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/nicolaprezza/CTLSAT/tar.gz/6de41e0?dummy=/
Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  g20200210
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  g20200210
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
10 Feb 2020 16:43:21
Original commit files touched by this commit Revision:525718  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).

WWW: https://github.com/nicolaprezza/CTLSAT

Number of commits found: 3