search

jump-dev / SumOfSquares.jl

Sum of Squares Programming for Julia
Other
115 stars 24 forks source link

Update SemialgebraicSets to v0.3 #251

Closed blegat closed 12 months ago

blegat commented 2 years ago

Let's check if https://github.com/JuliaAlgebra/SemialgebraicSets.jl/pull/28 didn't break anything