GitHub repository: FHoltorf/MarkovBoundsSOS.jl
Primary language: Julia
Description: Version of MarkovBoundsSOS relying on SumOfSquares.jl instead of MomentOpt.jl