5 files changed, 154 insertions, 86 deletions

diff --git a/math/libsemigroups/Makefile b/math/libsemigroups/Makefile
index 3f7f8e723ee1..7504c82ed559 100644
--- a/math/libsemigroups/Makefile
+++ b/math/libsemigroups/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	libsemigroups
-PORTVERSION=	2.7.3
+PORTVERSION=	3.0.2
 DISTVERSIONPREFIX=	v
-PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	thierry@FreeBSD.org
@@ -19,9 +18,10 @@ USES=		autoreconf compiler:c++11-lang eigen:3,build \
 		libtool pathfix pkgconfig
 
 GNU_CONFIGURE=	yes
-CONFIGURE_ARGS=	--enable-fmt --with-external-fmt=yes	\
-		--with-external-eigen
-#LIBS=		-lexecinfo
+CONFIGURE_ARGS=	--with-external-fmt=yes	\
+		--with-external-eigen	\
+		--enable-hpcombi
+LIBS=		-lm
 USE_LDCONFIG=	yes
 INSTALL_TARGET=	install-strip
 TEST_TARGET=	check
diff --git a/math/libsemigroups/distinfo b/math/libsemigroups/distinfo
index 6570fc335ce9..618c045b6ce2 100644
--- a/math/libsemigroups/distinfo
+++ b/math/libsemigroups/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1738313081
-SHA256 (libsemigroups-libsemigroups-v2.7.3_GH0.tar.gz) = 754fb0e4dbfcc64b6c9a35583935c61d77fd11aa9b15f5328406c70c9d0d65b1
-SIZE (libsemigroups-libsemigroups-v2.7.3_GH0.tar.gz) = 3425157
+TIMESTAMP = 1744045959
+SHA256 (libsemigroups-libsemigroups-v3.0.2_GH0.tar.gz) = 6d97c68b4728f51b2eb9732e0c4f77aae4da6c9a5e56d5e047c84d363dc70175
+SIZE (libsemigroups-libsemigroups-v3.0.2_GH0.tar.gz) = 6091002
diff --git a/math/libsemigroups/files/patch-include_libsemigroups_sims1.tpp b/math/libsemigroups/files/patch-include_libsemigroups_sims1.tpp
deleted file mode 100644
index f20df4c512d0..000000000000
--- a/math/libsemigroups/files/patch-include_libsemigroups_sims1.tpp
+++ /dev/null
@@ -1,11 +0,0 @@
---- include/libsemigroups/sims1.tpp.orig	2024-01-19 14:15:04 UTC
-+++ include/libsemigroups/sims1.tpp
-@@ -619,7 +619,7 @@ namespace libsemigroups {
-   typename Sims1<T>::iterator_base&
-   Sims1<T>::iterator_base::operator=(Sims1<T>::iterator_base&& that) {
-     _extra           = std::move(that._extra);
--    _longs           = std::move(that.long_rules());
-+    _longs           = std::move(that._longs);
-     _max_num_classes = std::move(that._max_num_classes);
-     _min_target_node = std::move(that._min_target_node);
-     _felsch_graph    = std::move(that._felsch_graph);
diff --git a/math/libsemigroups/files/patch-extern_backward-cpp_backward.hpp b/math/libsemigroups/files/patch-third__party_backward-cpp_backward.hpp
index 2a9c20c213c4..b0e39b58f333 100644
--- a/math/libsemigroups/files/patch-extern_backward-cpp_backward.hpp
+++ b/math/libsemigroups/files/patch-third__party_backward-cpp_backward.hpp
@@ -1,5 +1,5 @@
---- extern/backward-cpp/backward.hpp.orig	2024-01-19 14:15:04 UTC
-+++ extern/backward-cpp/backward.hpp
+--- third_party/backward-cpp/backward.hpp.orig	2025-04-01 12:04:08 UTC
++++ third_party/backward-cpp/backward.hpp
 @@ -52,6 +52,9 @@
  // #define BACKWARD_SYSTEM_DARWIN
  //	- specialization for Mac OS X 10.5 and later.
diff --git a/math/libsemigroups/pkg-plist b/math/libsemigroups/pkg-plist
index b3ca22e9a68f..fcb02d634ca2 100644
--- a/math/libsemigroups/pkg-plist
+++ b/math/libsemigroups/pkg-plist
@@ -1,101 +1,180 @@
-include/libsemigroups/HPCombi/include/bmat8.hpp
-include/libsemigroups/HPCombi/include/bmat8_impl.hpp
-include/libsemigroups/HPCombi/include/epu.hpp
-include/libsemigroups/HPCombi/include/epu_impl.hpp
-include/libsemigroups/HPCombi/include/fallback/gcdlcm.hpp
-include/libsemigroups/HPCombi/include/fallback/seq.hpp
-include/libsemigroups/HPCombi/include/hpcombi.hpp
-include/libsemigroups/HPCombi/include/perm16.hpp
-include/libsemigroups/HPCombi/include/perm16_impl.hpp
-include/libsemigroups/HPCombi/include/perm_generic.hpp
-include/libsemigroups/HPCombi/include/perm_generic_impl.hpp
-include/libsemigroups/HPCombi/include/power.hpp
-include/libsemigroups/HPCombi/include/testtools.hpp
-include/libsemigroups/HPCombi/include/vect16.hpp
-include/libsemigroups/HPCombi/include/vect_generic.hpp
+include/libsemigroups/Catch2-3.8.0/catch_amalgamated.hpp
 include/libsemigroups/action.hpp
+include/libsemigroups/action.tpp
 include/libsemigroups/adapters.hpp
+include/libsemigroups/aho-corasick.hpp
+include/libsemigroups/aho-corasick.tpp
 include/libsemigroups/backward-cpp/backward.hpp
 include/libsemigroups/bipart.hpp
 include/libsemigroups/bitset.hpp
-include/libsemigroups/bmat.hpp
+include/libsemigroups/bmat-adapters.hpp
+include/libsemigroups/bmat-fastest.hpp
 include/libsemigroups/bmat8.hpp
-include/libsemigroups/bruidhinn-traits.hpp
 include/libsemigroups/config.hpp
-include/libsemigroups/cong-intf.hpp
-include/libsemigroups/cong-pair-impl.hpp
-include/libsemigroups/cong-pair.hpp
-include/libsemigroups/cong-wrap.hpp
+include/libsemigroups/cong-class.hpp
+include/libsemigroups/cong-class.tpp
+include/libsemigroups/cong-common-helpers.hpp
+include/libsemigroups/cong-common-helpers.tpp
+include/libsemigroups/cong-helpers.hpp
+include/libsemigroups/cong-helpers.tpp
 include/libsemigroups/cong.hpp
 include/libsemigroups/constants.hpp
-include/libsemigroups/containers.hpp
-include/libsemigroups/coset.hpp
 include/libsemigroups/debug.hpp
 include/libsemigroups/deprecated.hpp
-include/libsemigroups/digraph-helper.hpp
-include/libsemigroups/digraph-with-sources.hpp
-include/libsemigroups/digraph-with-sources.tpp
-include/libsemigroups/digraph.hpp
+include/libsemigroups/detail/bruidhinn-traits.hpp
+include/libsemigroups/detail/citow.hpp
+include/libsemigroups/detail/cong-common-class.hpp
+include/libsemigroups/detail/cong-common-class.tpp
+include/libsemigroups/detail/containers.hpp
+include/libsemigroups/detail/eigen.hpp
+include/libsemigroups/detail/felsch-graph.hpp
+include/libsemigroups/detail/felsch-graph.tpp
+include/libsemigroups/detail/felsch-tree.hpp
+include/libsemigroups/detail/fmt.hpp
+include/libsemigroups/detail/formatters.hpp
+include/libsemigroups/detail/function-ref.hpp
+include/libsemigroups/detail/int-range.hpp
+include/libsemigroups/detail/iterator.hpp
+include/libsemigroups/detail/kambites-nf.hpp
+include/libsemigroups/detail/kbe.hpp
+include/libsemigroups/detail/kbe.tpp
+include/libsemigroups/detail/ke.hpp
+include/libsemigroups/detail/knuth-bendix-impl.hpp
+include/libsemigroups/detail/knuth-bendix-impl.tpp
+include/libsemigroups/detail/knuth-bendix-nf.hpp
+include/libsemigroups/detail/multi-string-view.hpp
+include/libsemigroups/detail/node-managed-graph.hpp
+include/libsemigroups/detail/node-managed-graph.tpp
+include/libsemigroups/detail/node-manager.hpp
+include/libsemigroups/detail/node-manager.tpp
+include/libsemigroups/detail/path-iterators.hpp
+include/libsemigroups/detail/path-iterators.tpp
+include/libsemigroups/detail/pool.hpp
+include/libsemigroups/detail/race.hpp
+include/libsemigroups/detail/report.hpp
+include/libsemigroups/detail/report.tpp
+include/libsemigroups/detail/rewriters.hpp
+include/libsemigroups/detail/stl.hpp
+include/libsemigroups/detail/string.hpp
+include/libsemigroups/detail/tce.hpp
+include/libsemigroups/detail/timer.hpp
+include/libsemigroups/detail/todd-coxeter-impl.hpp
+include/libsemigroups/detail/todd-coxeter-impl.tpp
+include/libsemigroups/detail/uf.hpp
+include/libsemigroups/detail/word-graph-with-sources.hpp
+include/libsemigroups/detail/word-graph-with-sources.tpp
+include/libsemigroups/detail/word-iterators.hpp
+include/libsemigroups/dot.hpp
 include/libsemigroups/exception.hpp
-include/libsemigroups/fastest-bmat.hpp
-include/libsemigroups/felsch-digraph.hpp
-include/libsemigroups/felsch-digraph.tpp
-include/libsemigroups/felsch-tree.hpp
 include/libsemigroups/forest.hpp
-include/libsemigroups/fpsemi-examples.hpp
-include/libsemigroups/fpsemi-intf.hpp
-include/libsemigroups/fpsemi.hpp
 include/libsemigroups/freeband.hpp
 include/libsemigroups/froidure-pin-base.hpp
-include/libsemigroups/froidure-pin-impl.hpp
 include/libsemigroups/froidure-pin.hpp
-include/libsemigroups/function-ref.hpp
+include/libsemigroups/froidure-pin.tpp
+include/libsemigroups/gabow.hpp
+include/libsemigroups/gabow.tpp
 include/libsemigroups/hpcombi.hpp
-include/libsemigroups/int-range.hpp
-include/libsemigroups/iterator.hpp
+include/libsemigroups/hpcombi/arch.hpp
+include/libsemigroups/hpcombi/bmat8.hpp
+include/libsemigroups/hpcombi/bmat8_impl.hpp
+include/libsemigroups/hpcombi/builder.hpp
+include/libsemigroups/hpcombi/debug.hpp
+include/libsemigroups/hpcombi/epu8.hpp
+include/libsemigroups/hpcombi/epu8_impl.hpp
+include/libsemigroups/hpcombi/hpcombi.hpp
+include/libsemigroups/hpcombi/perm16.hpp
+include/libsemigroups/hpcombi/perm16_impl.hpp
+include/libsemigroups/hpcombi/perm_generic.hpp
+include/libsemigroups/hpcombi/perm_generic_impl.hpp
+include/libsemigroups/hpcombi/power.hpp
+include/libsemigroups/hpcombi/simde/arm/neon.h
+include/libsemigroups/hpcombi/simde/arm/sve.h
+include/libsemigroups/hpcombi/simde/mips/msa.h
+include/libsemigroups/hpcombi/simde/wasm/relaxed-simd.h
+include/libsemigroups/hpcombi/simde/wasm/simd128.h
+include/libsemigroups/hpcombi/simde/x86/avx.h
+include/libsemigroups/hpcombi/simde/x86/avx2.h
+include/libsemigroups/hpcombi/simde/x86/avx512.h
+include/libsemigroups/hpcombi/simde/x86/clmul.h
+include/libsemigroups/hpcombi/simde/x86/f16c.h
+include/libsemigroups/hpcombi/simde/x86/fma.h
+include/libsemigroups/hpcombi/simde/x86/gfni.h
+include/libsemigroups/hpcombi/simde/x86/mmx.h
+include/libsemigroups/hpcombi/simde/x86/sse.h
+include/libsemigroups/hpcombi/simde/x86/sse2.h
+include/libsemigroups/hpcombi/simde/x86/sse3.h
+include/libsemigroups/hpcombi/simde/x86/sse4.1.h
+include/libsemigroups/hpcombi/simde/x86/sse4.2.h
+include/libsemigroups/hpcombi/simde/x86/ssse3.h
+include/libsemigroups/hpcombi/simde/x86/svml.h
+include/libsemigroups/hpcombi/simde/x86/xop.h
+include/libsemigroups/hpcombi/vect16.hpp
+include/libsemigroups/hpcombi/vect_generic.hpp
+include/libsemigroups/kambites-class.hpp
+include/libsemigroups/kambites-class.tpp
+include/libsemigroups/kambites-helpers.hpp
 include/libsemigroups/kambites.hpp
-include/libsemigroups/kbe.hpp
+include/libsemigroups/knuth-bendix-class.hpp
+include/libsemigroups/knuth-bendix-class.tpp
+include/libsemigroups/knuth-bendix-helpers.hpp
+include/libsemigroups/knuth-bendix-helpers.tpp
 include/libsemigroups/knuth-bendix.hpp
 include/libsemigroups/konieczny.hpp
+include/libsemigroups/konieczny.tpp
 include/libsemigroups/libsemigroups.hpp
-include/libsemigroups/make-froidure-pin.hpp
-include/libsemigroups/make-present.hpp
+include/libsemigroups/magic_enum/magic_enum.hpp
+include/libsemigroups/magic_enum/magic_enum_all.hpp
+include/libsemigroups/magic_enum/magic_enum_containers.hpp
+include/libsemigroups/magic_enum/magic_enum_flags.hpp
+include/libsemigroups/magic_enum/magic_enum_format.hpp
+include/libsemigroups/magic_enum/magic_enum_fuse.hpp
+include/libsemigroups/magic_enum/magic_enum_iostream.hpp
+include/libsemigroups/magic_enum/magic_enum_switch.hpp
+include/libsemigroups/magic_enum/magic_enum_utility.hpp
 include/libsemigroups/matrix.hpp
-include/libsemigroups/node-manager.hpp
 include/libsemigroups/obvinf.hpp
 include/libsemigroups/order.hpp
+include/libsemigroups/paths.hpp
+include/libsemigroups/paths.tpp
 include/libsemigroups/pbr.hpp
-include/libsemigroups/pool.hpp
-include/libsemigroups/present.hpp
-include/libsemigroups/present.tpp
-include/libsemigroups/race.hpp
-include/libsemigroups/report.hpp
+include/libsemigroups/presentation-examples.hpp
+include/libsemigroups/presentation.hpp
+include/libsemigroups/presentation.tpp
+include/libsemigroups/ranges.hpp
+include/libsemigroups/ranges.tpp
 include/libsemigroups/runner.hpp
-include/libsemigroups/schreier-sims-helper.hpp
+include/libsemigroups/runner.tpp
+include/libsemigroups/rx/ranges.hpp
 include/libsemigroups/schreier-sims.hpp
-include/libsemigroups/sims1.hpp
-include/libsemigroups/sims1.tpp
-include/libsemigroups/siso.hpp
+include/libsemigroups/schreier-sims.tpp
+include/libsemigroups/sims.hpp
+include/libsemigroups/sims.tpp
 include/libsemigroups/stephen.hpp
-include/libsemigroups/stl.hpp
-include/libsemigroups/string-view.hpp
-include/libsemigroups/string.hpp
-include/libsemigroups/tce.hpp
-include/libsemigroups/textflowcpp/TextFlow.hpp
-include/libsemigroups/timer.hpp
-include/libsemigroups/todd-coxeter-digraph.hpp
-include/libsemigroups/todd-coxeter-digraph.tpp
+include/libsemigroups/stephen.tpp
+include/libsemigroups/to-cong.hpp
+include/libsemigroups/to-cong.tpp
+include/libsemigroups/to-froidure-pin.hpp
+include/libsemigroups/to-froidure-pin.tpp
+include/libsemigroups/to-knuth-bendix.hpp
+include/libsemigroups/to-presentation.hpp
+include/libsemigroups/to-presentation.tpp
+include/libsemigroups/to-todd-coxeter.hpp
+include/libsemigroups/to-todd-coxeter.tpp
+include/libsemigroups/todd-coxeter-class.hpp
+include/libsemigroups/todd-coxeter-class.tpp
+include/libsemigroups/todd-coxeter-helpers.hpp
+include/libsemigroups/todd-coxeter-helpers.tpp
 include/libsemigroups/todd-coxeter.hpp
 include/libsemigroups/transf.hpp
+include/libsemigroups/transf.tpp
 include/libsemigroups/types.hpp
-include/libsemigroups/uf.hpp
 include/libsemigroups/ukkonen.hpp
 include/libsemigroups/ukkonen.tpp
-include/libsemigroups/wilo.hpp
-include/libsemigroups/wislo.hpp
-include/libsemigroups/word.hpp
+include/libsemigroups/word-graph.hpp
+include/libsemigroups/word-graph.tpp
+include/libsemigroups/word-range.hpp
 lib/libsemigroups.a
 lib/libsemigroups.so
-lib/libsemigroups.so.2
-lib/libsemigroups.so.2.0.0
+lib/libsemigroups.so.3
+lib/libsemigroups.so.3.0.0
 libdata/pkgconfig/libsemigroups.pc