We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 452ee2b commit ef278a5Copy full SHA for ef278a5
docs/src/tutorials/Extension/typed.jl
@@ -20,6 +20,7 @@ import CSDP
20
model = SOSModel(CSDP.Optimizer)
21
con_ref = @constraint(model, 2x^4 + 5y^4 - x^2*y^2 >= -2(x^3*y + x + 1))
22
optimize!(model)
23
+@test is_solved_and_feasible(model) #src
24
solution_summary(model)
25
26
# We see that the problem is feasible. The Sum-of-Squares decomposition can be
0 commit comments