diff --git a/src/SolverAPI.jl b/src/SolverAPI.jl index 35bd50c..956e9d1 100644 --- a/src/SolverAPI.jl +++ b/src/SolverAPI.jl @@ -181,8 +181,8 @@ function solve(fn, json::Request, solver::MOI.AbstractOptimizer) # TODO (dba) `SolverAPI.jl` should be decoupled from any solver specific code. solver_info = Dict{Symbol,Any}() - solver_name = lowercase(get(json.options, :solver, "highs")) - if solver_name in ["minizinc","csp2sat"] + solver_name = lowercase(get(json.options, :solver, "highs")) + if solver_name in ["minizinc", "csp2sat"] T = Int solver_info[:use_indicator] = false else