diff --git a/math/py-spot/Makefile b/math/py-spot/Makefile
index 7c46bda7d266..18851b8db7f6 100644
--- a/math/py-spot/Makefile
+++ b/math/py-spot/Makefile
@@ -1,40 +1,40 @@
 PORTNAME=	spot
-DISTVERSION=	2.12.1
+DISTVERSION=	2.14.3
 CATEGORIES=	math
 MASTER_SITES=	http://www.lrde.epita.fr/dload/${PORTNAME}/
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python binding for 'Spot', the library for omega automata manipulation
 WWW=		https://spot.lrde.epita.fr
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 LIB_DEPENDS=	libspot.so:math/spot
 
 USES=		compiler:c++17-lang gmake libtool python
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--enable-python --disable-static
 
 # otherwise shared libs aren't linked to spot libs for some reason
 LDFLAGS+=	-L${LOCALBASE}/lib
 .for l in spot bddx spotgen spotltsmin
 LDFLAGS+=	-l${l}
 .endfor
 
 post-configure:
 	@${REINPLACE_CMD} ' \
 		s|^BUDDY_LDFLAGS =.*|BUDDY_LDFLAGS = ${LOCALBASE}/lib/libbddx.so|; \
 		s|$$(top_builddir)/spot/libspot.la|${LOCALBASE}/lib/libspot.so|; \
 		s|$$(top_builddir)/spot/ltsmin/libspotltsmin.la|${LOCALBASE}/lib/libspotltsmin.so|; \
 		s|$$(top_builddir)/spot/gen/libspotgen.la|${LOCALBASE}/lib/libspotgen.so|' \
 		${WRKSRC}/python/Makefile
 
 post-install:
 	@${FIND} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} -name "*.so" | ${XARGS} ${STRIP_CMD}
 
 # to test: cd ../spot && make test WITH_PYTHON=yes
 
 .include <bsd.port.mk>
diff --git a/math/py-spot/distinfo b/math/py-spot/distinfo
index 6eb4380cb70c..30e63d6b0c24 100644
--- a/math/py-spot/distinfo
+++ b/math/py-spot/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1727154374
-SHA256 (spot-2.12.1.tar.gz) = 5477c08d4e1d062f164c2e486a83556925d07d70f2180de706af7aa949c6ff5c
-SIZE (spot-2.12.1.tar.gz) = 7836653
+TIMESTAMP = 1762966144
+SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21
+SIZE (spot-2.14.3.tar.gz) = 8585774
diff --git a/math/py-spot/pkg-plist b/math/py-spot/pkg-plist
index b6641ea20881..7f1be8eb1a38 100644
--- a/math/py-spot/pkg-plist
+++ b/math/py-spot/pkg-plist
@@ -1,25 +1,32 @@
-%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/__pycache__/buddy.cpython-%%PYTHON_SUFFIX%%.pyc
+%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/__pycache__/buddy%%PYTHON_TAG%%.pyc
 %%PYTHON_SITELIBDIR%%/_buddy%%PYTHON_TAG%%.so
 %%PYTHON_SITELIBDIR%%/buddy.py
 %%PYTHON_SITELIBDIR%%/spot/__init__.py
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter.cpython-%%PYTHON_SUFFIX%%.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-%%PYTHON_SUFFIX%%.opt-1.pyc
-%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin.cpython-%%PYTHON_SUFFIX%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/__init__%%PYTHON_TAG%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/aux_%%PYTHON_TAG%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/gen%%PYTHON_TAG%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/impl%%PYTHON_TAG%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/jupyter%%PYTHON_TAG%%.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.opt-1.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.opt-2.pyc
+%%PYTHON_SITELIBDIR%%/spot/__pycache__/ltsmin%%PYTHON_TAG%%.pyc
 %%PYTHON_SITELIBDIR%%/spot/_gen%%PYTHON_TAG%%.so
 %%PYTHON_SITELIBDIR%%/spot/_impl%%PYTHON_TAG%%.so
 %%PYTHON_SITELIBDIR%%/spot/_ltsmin%%PYTHON_TAG%%.so
 %%PYTHON_SITELIBDIR%%/spot/aux_.py
 %%PYTHON_SITELIBDIR%%/spot/gen.py
 %%PYTHON_SITELIBDIR%%/spot/impl.py
 %%PYTHON_SITELIBDIR%%/spot/jupyter.py
 %%PYTHON_SITELIBDIR%%/spot/ltsmin.py
diff --git a/math/spot/Makefile b/math/spot/Makefile
index 889bdb809ff9..0c4ff64e6054 100644
--- a/math/spot/Makefile
+++ b/math/spot/Makefile
@@ -1,38 +1,38 @@
 PORTNAME=	spot
-DISTVERSION=	2.12.1
+DISTVERSION=	2.14.3
 CATEGORIES=	math
 MASTER_SITES=	http://www.lrde.epita.fr/dload/${PORTNAME}/
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Library for omega automata manipulation and model checking
 WWW=		https://spot.lrde.epita.fr
 
 LICENSE=	GPLv3
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 TEST_DEPENDS=	${PYNUMPY} \
 		${PYTHON_PKGNAMEPREFIX}pandas>0:math/py-pandas@${PY_FLAVOR} \
 		syfco:math/hs-syfco
 
 USES=		charsetfix compiler:c++17-lang gmake libtool python:test
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
 GNU_CONFIGURE_MANPREFIX=	${PREFIX}/share
 .if !defined(WITH_PYTHON) # math/py-spot is a separate port but tests don't work there. To test run: make test WITH_PYTHON=yes
 CONFIGURE_ARGS=	--disable-python --disable-static
 .else
 CONFIGURE_ARGS=	--disable-static
 .endif
 
 INSTALL_TARGET=	install-strip
 TEST_TARGET=	check
 
 OPTIONS_DEFINE=	DOCS
 
 PORTDOCS=	tl.pdf
 
 post-install:
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/*.so
 
 .include <bsd.port.mk>
diff --git a/math/spot/distinfo b/math/spot/distinfo
index afb72a05edd8..db2078ef6232 100644
--- a/math/spot/distinfo
+++ b/math/spot/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1727153750
-SHA256 (spot-2.12.1.tar.gz) = 5477c08d4e1d062f164c2e486a83556925d07d70f2180de706af7aa949c6ff5c
-SIZE (spot-2.12.1.tar.gz) = 7836653
+TIMESTAMP = 1762965183
+SHA256 (spot-2.14.3.tar.gz) = a0cc89fa716c35a3d7f3272fdbb028841560e671b9958c053870292daf88dd21
+SIZE (spot-2.14.3.tar.gz) = 8585774
diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist
index c24282322653..257af036777a 100644
--- a/math/spot/pkg-plist
+++ b/math/spot/pkg-plist
@@ -1,231 +1,247 @@
 bin/autcross
 bin/autfilt
 bin/dstar2tgba
 bin/genaut
 bin/genltl
 bin/ltl2tgba
 bin/ltl2tgta
 bin/ltlcross
 bin/ltldo
+bin/ltlf2dfa
 bin/ltlfilt
+bin/ltlfsynt
 bin/ltlgrind
+bin/ltlmix
 bin/ltlsynt
 bin/randaut
 bin/randltl
 include/bddx.h
 include/bvecx.h
 include/fddx.h
 include/spot/bricks/brick-assert
 include/spot/bricks/brick-bitlevel
 include/spot/bricks/brick-hash
 include/spot/bricks/brick-hashset
 include/spot/bricks/brick-shmem
 include/spot/bricks/brick-types
 include/spot/gen/automata.hh
 include/spot/gen/formulas.hh
+include/spot/graph/adjlist.hh
 include/spot/graph/graph.hh
 include/spot/graph/ngraph.hh
 include/spot/kripke/fairkripke.hh
 include/spot/kripke/fwd.hh
 include/spot/kripke/kripke.hh
 include/spot/kripke/kripkegraph.hh
 include/spot/ltsmin/ltsmin.hh
 include/spot/ltsmin/spins_interface.hh
 include/spot/ltsmin/spins_kripke.hh
 include/spot/ltsmin/spins_kripke.hxx
 include/spot/mc/bloemen.hh
 include/spot/mc/bloemen_ec.hh
 include/spot/mc/cndfs.hh
 include/spot/mc/deadlock.hh
 include/spot/mc/intersect.hh
 include/spot/mc/lpar13.hh
 include/spot/mc/mc.hh
 include/spot/mc/mc_instanciator.hh
 include/spot/mc/unionfind.hh
 include/spot/mc/utils.hh
 include/spot/misc/_config.h
 include/spot/misc/bareword.hh
 include/spot/misc/bddlt.hh
 include/spot/misc/bitset.hh
 include/spot/misc/bitvect.hh
 include/spot/misc/casts.hh
 include/spot/misc/clz.hh
 include/spot/misc/common.hh
 include/spot/misc/escape.hh
 include/spot/misc/fixpool.hh
 include/spot/misc/formater.hh
 include/spot/misc/hash.hh
 include/spot/misc/hashfunc.hh
 include/spot/misc/intvcmp2.hh
 include/spot/misc/intvcomp.hh
 include/spot/misc/location.hh
 include/spot/misc/ltstr.hh
 include/spot/misc/memusage.hh
 include/spot/misc/minato.hh
 include/spot/misc/mspool.hh
 include/spot/misc/optionmap.hh
+include/spot/misc/permute.hh
 include/spot/misc/position.hh
 include/spot/misc/random.hh
 include/spot/misc/satsolver.hh
 include/spot/misc/timer.hh
 include/spot/misc/tmpfile.hh
 include/spot/misc/trival.hh
 include/spot/misc/version.hh
 include/spot/parseaut/public.hh
 include/spot/ta/ta.hh
 include/spot/ta/taexplicit.hh
 include/spot/ta/taproduct.hh
 include/spot/ta/tgta.hh
 include/spot/ta/tgtaexplicit.hh
 include/spot/ta/tgtaproduct.hh
 include/spot/taalgos/dot.hh
 include/spot/taalgos/emptinessta.hh
 include/spot/taalgos/minimize.hh
 include/spot/taalgos/reachiter.hh
 include/spot/taalgos/statessetbuilder.hh
 include/spot/taalgos/stats.hh
 include/spot/taalgos/tgba2ta.hh
 include/spot/tl/apcollect.hh
 include/spot/tl/contain.hh
 include/spot/tl/declenv.hh
 include/spot/tl/defaultenv.hh
+include/spot/tl/delta2.hh
 include/spot/tl/dot.hh
 include/spot/tl/environment.hh
 include/spot/tl/exclusive.hh
 include/spot/tl/formula.hh
 include/spot/tl/hierarchy.hh
 include/spot/tl/length.hh
 include/spot/tl/ltlf.hh
 include/spot/tl/mutation.hh
 include/spot/tl/nenoform.hh
 include/spot/tl/parse.hh
 include/spot/tl/print.hh
 include/spot/tl/randomltl.hh
 include/spot/tl/relabel.hh
 include/spot/tl/remove_x.hh
 include/spot/tl/simplify.hh
 include/spot/tl/snf.hh
 include/spot/tl/sonf.hh
 include/spot/tl/unabbrev.hh
 include/spot/twa/acc.hh
 include/spot/twa/bdddict.hh
 include/spot/twa/bddprint.hh
 include/spot/twa/formula2bdd.hh
 include/spot/twa/fwd.hh
 include/spot/twa/taatgba.hh
 include/spot/twa/twa.hh
 include/spot/twa/twagraph.hh
 include/spot/twa/twaproduct.hh
 include/spot/twaalgos/aiger.hh
 include/spot/twaalgos/alternation.hh
 include/spot/twaalgos/are_isomorphic.hh
+include/spot/twaalgos/backprop.hh
 include/spot/twaalgos/bfssteps.hh
 include/spot/twaalgos/canonicalize.hh
 include/spot/twaalgos/cleanacc.hh
 include/spot/twaalgos/cobuchi.hh
 include/spot/twaalgos/complement.hh
 include/spot/twaalgos/complete.hh
 include/spot/twaalgos/compsusp.hh
 include/spot/twaalgos/contains.hh
 include/spot/twaalgos/copy.hh
 include/spot/twaalgos/couvreurnew.hh
 include/spot/twaalgos/cycles.hh
 include/spot/twaalgos/dbranch.hh
+include/spot/twaalgos/deadends.hh
 include/spot/twaalgos/degen.hh
 include/spot/twaalgos/determinize.hh
 include/spot/twaalgos/dot.hh
 include/spot/twaalgos/dtbasat.hh
 include/spot/twaalgos/dtwasat.hh
 include/spot/twaalgos/dualize.hh
 include/spot/twaalgos/emptiness.hh
 include/spot/twaalgos/emptiness_stats.hh
 include/spot/twaalgos/forq_contains.hh
 include/spot/twaalgos/game.hh
 include/spot/twaalgos/genem.hh
 include/spot/twaalgos/gfguarantee.hh
+include/spot/twaalgos/given.hh
 include/spot/twaalgos/gtec/ce.hh
 include/spot/twaalgos/gtec/gtec.hh
 include/spot/twaalgos/gtec/sccstack.hh
 include/spot/twaalgos/gtec/status.hh
 include/spot/twaalgos/gv04.hh
 include/spot/twaalgos/hoa.hh
 include/spot/twaalgos/iscolored.hh
 include/spot/twaalgos/isdet.hh
 include/spot/twaalgos/isunamb.hh
 include/spot/twaalgos/isweakscc.hh
 include/spot/twaalgos/langmap.hh
 include/spot/twaalgos/lbtt.hh
 include/spot/twaalgos/ltl2taa.hh
 include/spot/twaalgos/ltl2tgba_fm.hh
+include/spot/twaalgos/ltlf2dfa.hh
 include/spot/twaalgos/magic.hh
 include/spot/twaalgos/mask.hh
+include/spot/twaalgos/matchstates.hh
+include/spot/twaalgos/mcs.hh
 include/spot/twaalgos/mealy_machine.hh
 include/spot/twaalgos/minimize.hh
+include/spot/twaalgos/mtdtwa.hh
 include/spot/twaalgos/neverclaim.hh
 include/spot/twaalgos/parity.hh
 include/spot/twaalgos/postproc.hh
 include/spot/twaalgos/powerset.hh
 include/spot/twaalgos/product.hh
 include/spot/twaalgos/randomgraph.hh
 include/spot/twaalgos/randomize.hh
 include/spot/twaalgos/reachiter.hh
 include/spot/twaalgos/relabel.hh
 include/spot/twaalgos/remfin.hh
 include/spot/twaalgos/remprop.hh
 include/spot/twaalgos/sbacc.hh
 include/spot/twaalgos/sccfilter.hh
 include/spot/twaalgos/sccinfo.hh
 include/spot/twaalgos/se05.hh
 include/spot/twaalgos/sepsets.hh
 include/spot/twaalgos/simulation.hh
 include/spot/twaalgos/split.hh
 include/spot/twaalgos/stats.hh
 include/spot/twaalgos/strength.hh
 include/spot/twaalgos/stripacc.hh
 include/spot/twaalgos/stutter.hh
 include/spot/twaalgos/sum.hh
 include/spot/twaalgos/synthesis.hh
 include/spot/twaalgos/tau03.hh
 include/spot/twaalgos/tau03opt.hh
 include/spot/twaalgos/toparity.hh
 include/spot/twaalgos/totgba.hh
 include/spot/twaalgos/toweak.hh
 include/spot/twaalgos/translate.hh
 include/spot/twaalgos/word.hh
 include/spot/twaalgos/zlktree.hh
 include/spot/twacube/cube.hh
 include/spot/twacube/fwd.hh
 include/spot/twacube/twacube.hh
 include/spot/twacube_algos/convert.hh
 lib/libbddx.so
 lib/libbddx.so.0
 lib/libbddx.so.0.0.0
 lib/libspot.so
 lib/libspot.so.0
 lib/libspot.so.0.0.0
 lib/libspotgen.so
 lib/libspotgen.so.0
 lib/libspotgen.so.0.0.0
 lib/libspotltsmin.so
 lib/libspotltsmin.so.0
 lib/libspotltsmin.so.0.0.0
 libdata/pkgconfig/libbddx.pc
 libdata/pkgconfig/libspot.pc
 libdata/pkgconfig/libspotgen.pc
 libdata/pkgconfig/libspotltsmin.pc
 share/man/man1/autcross.1.gz
 share/man/man1/autfilt.1.gz
 share/man/man1/dstar2tgba.1.gz
 share/man/man1/genaut.1.gz
 share/man/man1/genltl.1.gz
 share/man/man1/ltl2tgba.1.gz
 share/man/man1/ltl2tgta.1.gz
 share/man/man1/ltlcross.1.gz
 share/man/man1/ltldo.1.gz
+share/man/man1/ltlf2dfa.1.gz
 share/man/man1/ltlfilt.1.gz
+share/man/man1/ltlfsynt.1.gz
 share/man/man1/ltlgrind.1.gz
+share/man/man1/ltlmix.1.gz
 share/man/man1/ltlsynt.1.gz
 share/man/man1/randaut.1.gz
 share/man/man1/randltl.1.gz
 share/man/man7/spot-x.7.gz
 share/man/man7/spot.7.gz