Use HiGHS

gdalle · gdalle · commit 4ca650795523 · 2025-10-10T10:40:47.000+02:00
diff --git a/test/optimal.jl b/test/optimal.jl
@@ -4,6 +4,7 @@ using StableRNGs
 using Test
 using JuMP
 using MiniZinc
+using HiGHS
 
 rng = StableRNG(0)
 
