ctl-sat CTL (Computation Tree Logic) SAT solver

g20200210 math =0 Version of this port present on the latest quarterly branch.

Maintainer: 0mp@FreeBSD.org

Port Added: 2020-02-10 16:43:51

Last Update: 2020-02-10 16:43:21

SVN Revision: 525718

License: MIT

Description:

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

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/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: pkg install ctl-sat

PKGNAME: ctl-sat

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1581352735 SHA256 (nicolaprezza-CTLSAT-g20200210-6de41e0_GH0.tar.gz) = f285cc5ab39359b45d3a1b22c725393458624dea82f11b29ed9828cf523aa7ed SIZE (nicolaprezza-CTLSAT-g20200210-6de41e0_GH0.tar.gz) = 1197332

There are no ports dependent upon this port

Configuration Options

===> The following configuration options are available for ctl-sat-g20200210: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings

Master Sites:

1. https://codeload.github.com/nicolaprezza/CTLSAT/tar.gz/6de41e0?dummy=/

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

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