search

jump-dev / SumOfSquares.jl

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

Test variable substitution for KernelBridge #353

Closed blegat closed 5 days ago

blegat commented 2 months ago

Needs