Skip to content

Commit

Permalink
Update mgh10.jl metadata
Browse files Browse the repository at this point in the history
  • Loading branch information
dpo committed Jan 8, 2025
1 parent a93d8bb commit 5f703f8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Meta/mgh10.jl
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@ mgh10_meta = Dict(
:best_known_lower_bound => -Inf,
:best_known_upper_bound => 500.0,
:is_feasible => true,
:defined_everywhere => missing,
:origin => :unknown,
:defined_everywhere => false,
:origin => :academic,
)
get_mgh10_nvar(; n::Integer = default_nvar, kwargs...) = 3
get_mgh10_ncon(; n::Integer = default_nvar, kwargs...) = 0
Expand Down

0 comments on commit 5f703f8

Please sign in to comment.