From 612a9bfdd44445ba903a195f970eaa4246a328fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mathieu=20Besan=C3=A7on?= <mathieu.besancon@gmail.com>
Date: Sun, 9 Feb 2025 12:39:23 +0100
Subject: [PATCH] format

---
 src/Utilities/model.jl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/Utilities/model.jl b/src/Utilities/model.jl
index 0cf349def1..baea34f425 100644
--- a/src/Utilities/model.jl
+++ b/src/Utilities/model.jl
@@ -771,6 +771,17 @@ const LessThanIndicatorOne{T} =
 const LessThanIndicatorZero{T} =
     MOI.Indicator{MOI.ACTIVATE_ON_ZERO,MOI.LessThan{T}}
 
+const GreaterThanIndicatorOne{T} =
+    MOI.Indicator{MOI.ACTIVATE_ON_ONE,MOI.GreaterThan{T}}
+
+const GreaterThanIndicatorZero{T} =
+    MOI.Indicator{MOI.ACTIVATE_ON_ZERO,MOI.GreaterThan{T}}
+
+const EqualToIndicatorOne{T} = MOI.Indicator{MOI.ACTIVATE_ON_ONE,MOI.EqualTo{T}}
+
+const EqualToIndicatorZero{T} =
+    MOI.Indicator{MOI.ACTIVATE_ON_ZERO,MOI.EqualTo{T}}
+
 @model(
     Model,
     (MOI.ZeroOne, MOI.Integer),
@@ -824,6 +835,10 @@ const LessThanIndicatorZero{T} =
         MOI.SOS2,
         LessThanIndicatorOne,
         LessThanIndicatorZero,
+        GreaterThanIndicatorOne,
+        GreaterThanIndicatorZero,
+        EqualToIndicatorOne,
+        EqualToIndicatorZero,
         MOI.Table,
         MOI.BinPacking,
         MOI.HyperRectangle,