mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
57a5d1d576
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
35 lines
597 B
Makefile
35 lines
597 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= ctl-sat
|
|
DISTVERSION= g20200210
|
|
CATEGORIES= math
|
|
|
|
MAINTAINER= 0mp@FreeBSD.org
|
|
COMMENT= CTL (Computation Tree Logic) SAT solver
|
|
|
|
LICENSE= MIT
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= nicolaprezza
|
|
GH_PROJECT= CTLSAT
|
|
GH_TAGNAME= 6de41e0
|
|
|
|
PLIST_FILES= bin/ctl-sat
|
|
|
|
PORTDOCS= README.md
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
pre-build:
|
|
@${RM} ${WRKSRC}/ctl-sat
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/ctl-sat ${STAGEDIR}${PREFIX}/bin
|
|
|
|
post-install-DOCS-on:
|
|
@${MKDIR} ${STAGEDIR}${DOCSDIR}
|
|
${INSTALL_MAN} ${WRKSRC}/README.md ${STAGEDIR}${DOCSDIR}
|
|
|
|
.include <bsd.port.mk>
|