Fix XCSP3 output for undefined variables (#423)

src/output.jl

@@ -9,7 +9,7 @@ using CSV, DataFrames
 - `memory_limit::Union{Nothing, Int}`: the reversible representation of the table.
 
 """
-function solve_XCSP3_instance(file_path::AbstractString, strategy::SearchStrategy=DFSearch(), time_limit::Union{Nothing, Int}=nothing, memory_limit::Union{Nothing, Int}=nothing, save_performance::Bool=false, save_path::AbstractString="", include_time::Float64=0.0)
+function solve_XCSP3_instance(file_path::AbstractString; strategy::SearchStrategy=DFSearch(), time_limit::Union{Nothing, Int}=nothing, memory_limit::Union{Nothing, Int}=nothing, save_performance::Bool=false, save_path::AbstractString="", include_time::Float64=0.0)
 
     solving_time = @elapsed begin 
 
@@ -126,7 +126,7 @@ function print_solutions(model::SeaPearl.CPModel, dict_variables::Dict{String,An
     print("v    <list> ")
     values = Int[]
     for (id, var) in dict_variables
-        if isa(var, Vector) || isa(var, Matrix)
+        if isa(var, Vector) || isa(var, Matrix) || isa(var, Array)
 
             print(id*"[]"^length(size(var)), " ")
             for array_var in var

src/parser/variables.jl

@@ -102,6 +102,16 @@ function parse_array_variable(array_variable::Node, model::SeaPearl.CPModel, tra
             end
         end
 
+        # For variables not declared 
+        for idx in CartesianIndices(seapearl_array_var)
+            if seapearl_array_var[idx].id == "default"
+                str_idx = "[" * join([string(idx[i] - 1) for i in 1:length(idx)], "][") * "]"
+                var = SeaPearl.IntVar(0, 0, id * str_idx, trailer)
+                SeaPearl.addVariable!(model, var)
+                seapearl_array_var[idx] = var
+            end            
+        end
+
     #Same domain for all variables
     else
         domain = parse_variable_domain(raw_domain)