Test with HiGHS (#34)

Author: odow

README.md

@@ -100,11 +100,12 @@ julia> main()
 ## Use with JuMP
 
 You can also call MiniZinc from JuMP, using any solver that `libminizinc`
-supports. For example, if you have Gurobi installed:
+supports. By default, MiniZinc.jl is comiled with `"highs"`:
+
 ```julia
 using JuMP
 import MiniZinc
-model = Model(() -> MiniZinc.Optimizer{Float64}("gurobi"))
+model = Model(() -> MiniZinc.Optimizer{Float64}("highs"))
 @variable(model, 1 <= x[1:3] <= 3, Int)
 @constraint(model, x in MOI.AllDifferent(3))
 @objective(model, Max, sum(i * x[i] for i in 1:3))
@@ -114,12 +115,12 @@ optimize!(model)
 
 ## MathOptInterface API
 
-The MiniZinc optimizer supports the following constraints and attributes.
+The MiniZinc `Optimizer{T}` supports the following constraints and attributes.
 
 List of supported objective functions:
 
- * [`MOI.ObjectiveFunction{MOI.ScalarAffineFunction{Float64}}`](@ref)
- * [`MOI.ObjectiveFunction{MOI.ScalarQuadraticFunction{Float64}}`](@ref)
+ * [`MOI.ObjectiveFunction{MOI.ScalarAffineFunction{T}}`](@ref)
+ * [`MOI.ObjectiveFunction{MOI.ScalarQuadraticFunction{T}}`](@ref)
  * [`MOI.ObjectiveFunction{MOI.VariableIndex}`](@ref)
 
 List of supported variable types:
@@ -128,31 +129,31 @@ List of supported variable types:
 
 List of supported constraint types:
 
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.EqualTo{Float64}`](@ref)
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.GreaterThan{Float64}`](@ref)
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.Integer`](@ref)
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.Interval{Float64}`](@ref)
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.LessThan{Float64}`](@ref)
- * [`MOI.ScalarAffineFunction{Float64}`](@ref) in [`MOI.ZeroOne`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.EqualTo{Float64}`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.GreaterThan{Float64}`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.EqualTo{T}`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.GreaterThan{T}`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.Integer`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.Interval{T}`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.LessThan{T}`](@ref)
+ * [`MOI.ScalarAffineFunction{T}`](@ref) in [`MOI.ZeroOne`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.EqualTo{T}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.GreaterThan{T}`](@ref)
  * [`MOI.VariableIndex`](@ref) in [`MOI.Integer`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.Interval{Float64}`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.LessThan{Float64}`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.Parameter{Float64}`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.Semicontinuous{Float64}`](@ref)
- * [`MOI.VariableIndex`](@ref) in [`MOI.Semiinteger{Float64}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.Interval{T}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.LessThan{T}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.Parameter{T}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.Semicontinuous{T}`](@ref)
+ * [`MOI.VariableIndex`](@ref) in [`MOI.Semiinteger{T}`](@ref)
  * [`MOI.VariableIndex`](@ref) in [`MOI.ZeroOne`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.AllDifferent`](@ref)
- * [`MOI.VectorOfVariables`](@ref) in [`MOI.BinPacking{Float64}`](@ref)
+ * [`MOI.VectorOfVariables`](@ref) in [`MOI.BinPacking{T}`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.Circuit`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.CountAtLeast`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.CountBelongs`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.CountDistinct`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.CountGreaterThan`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.Cumulative`](@ref)
  * [`MOI.VectorOfVariables`](@ref) in [`MOI.Path`](@ref)
- * [`MOI.VectorOfVariables`](@ref) in [`MOI.Table{Float64}`](@ref)
+ * [`MOI.VectorOfVariables`](@ref) in [`MOI.Table{T}`](@ref)
 
 List of supported model attributes:
 

test/runtests.jl

@@ -1189,6 +1189,24 @@ function test_write_bool()
     return
 end
 
+function test_highs()
+    model = MOI.Utilities.Model{Float64}()
+    x, x_int = MOI.add_constrained_variable(model, MOI.Integer())
+    c1 = MOI.add_constraint(model, x, MOI.GreaterThan(1.0))
+    c2 = MOI.add_constraint(model, x, MOI.LessThan(3.0))
+    @test MOI.is_valid(model, x)
+    @test MOI.is_valid(model, x_int)
+    @test MOI.is_valid(model, c1)
+    @test MOI.is_valid(model, c2)
+    solver = MiniZinc.Optimizer{Float64}("highs")
+    index_map, _ = MOI.optimize!(solver, model)
+    @test MOI.get(solver, MOI.TerminationStatus()) === MOI.OPTIMAL
+    @test MOI.get(solver, MOI.ResultCount()) >= 1
+    @test MOI.get(solver, MOI.VariablePrimal(), index_map[x]) in [1.0, 2.0, 3.0]
+    @test MOI.get(solver, MOI.RawStatusString()) == "SATISFIABLE"
+    return
+end
+
 end
 
 TestMiniZinc.runtests()