From 06d2aab7ab183fca9d1f1e031b6c8aa7ac3c6340 Mon Sep 17 00:00:00 2001
From: Dheepak Krishnamurthy <1813121+kdheepak@users.noreply.github.com>
Date: Mon, 5 Oct 2026 09:17:21 -0400
Subject: [PATCH] fix(highs-model): use inclusive infinity bound checks

---
 lib/highs_model.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/highs_model.cpp b/lib/highs_model.cpp
index 81039eef..26017662 100644
--- a/lib/highs_model.cpp
+++ b/lib/highs_model.cpp
@@ -906,8 +906,8 @@ double POIHighsModel::get_normalized_rhs(const ConstraintIndex &constraint)
 	                                       nullptr, nullptr);
 	check_error(error);
 
-	bool lb_inf = lb < -kHighsInf + 1.0;
-	bool ub_inf = ub > kHighsInf - 1.0;
+	bool lb_inf = lb <= -kHighsInf;
+	bool ub_inf = ub >= kHighsInf;
 
 	if (!lb_inf)
 		return lb;
@@ -926,8 +926,8 @@ void POIHighsModel::set_normalized_rhs(const ConstraintIndex &constraint, double
 	                                       nullptr, nullptr);
 	check_error(error);
 
-	bool lb_inf = lb < -kHighsInf + 1.0;
-	bool ub_inf = ub > kHighsInf - 1.0;
+	bool lb_inf = lb <= -kHighsInf;
+	bool ub_inf = ub >= kHighsInf;
 
 	if (!lb_inf)
 		lb = value;