From 57a5d1d576782d9a36742905a2295b8ee1b36ac8 Mon Sep 17 00:00:00 2001
From: Mateusz Piotrowski <0mp@FreeBSD.org>
Date: Mon, 10 Feb 2020 16:43:21 +0000
Subject: 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
---
 math/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'math/Makefile')

diff --git a/math/Makefile b/math/Makefile
index 16b0ae042735..623811913a91 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -200,6 +200,7 @@
     SUBDIR += crlibm
     SUBDIR += cryptominisat
     SUBDIR += csdp
+    SUBDIR += ctl-sat
     SUBDIR += curv
     SUBDIR += cvc3
     SUBDIR += cvc4
-- 
cgit v1.2.3