Allow empty array (for no constraints)

src/json_to_moi.jl

@@ -36,17 +36,11 @@ function add_cons!(
     vars_map::Dict,
     solver_info::Dict,
 ) where {T<:Real}
+    isempty(a) && return nothing
     head = a[1]
     if head == "and"
-        for i in eachindex(a)
-            i == 1 && continue
-            if a[i] isa Bool
-                if !a[i]
-                    throw(Error(InvalidModel, "Model is infeasible."))
-                end
-            else
-                add_cons!(T, model, a[i], vars_map, solver_info)
-            end
+        for i in 2:length(a)
+            add_cons!(T, model, a[i], vars_map, solver_info)
         end
     elseif head == "Int"
         v = json_to_snf(a[2], vars_map)
@@ -156,6 +150,11 @@ function add_cons!(
     return nothing
 end
 
+function add_cons!(::Type{<:Real}, ::MOI.ModelLike, a::A, ::Dict, ::Dict) where {A}
+    throw(Error(Unsupported, "Argument $a has type $A but should be a JSON array."))
+    return nothing
+end
+
 _check_v_type(::MOI.VariableIndex) = nothing
 _check_v_type(_) =
     throw(Error(InvalidModel, "$v must be a `MOI.VariableIndex`, not $(typeof(v))."))

test/all_tests.jl

@@ -76,6 +76,7 @@ end
         "in_con_csp",
         "in_con_const_mip",
         "in_con_expr_csp",
+        "empty_arr_con",
     ]
 
     # solve and check output is expected for each input json file

test/inputs/empty_arr_con.json

@@ -0,0 +1 @@
+{"version":"0.1","sense":"min","variables":["x","y"],"constraints":[[">=","x",1.5],[],["Nonneg","x"],["Nonneg","y"]],"objectives":[["+","x","y"]],"options":{"solver":"HiGHS"}}

test/outputs/empty_arr_con.json

@@ -0,0 +1,2 @@
+{"termination_status":"OPTIMAL","results":[{"names":["\"x\"","\"y\""],"values":[1.5,0.0],
+"primal_status":"FEASIBLE_POINT","objective_value":1.5}],"version":"0.1"}