Skip to content

Commit

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

0 comments on commit c11661a

Please sign in to comment.