sums-of-squares / sosView external linksLinks
Information page for running sos solvers
☆14Oct 25, 2021Updated 4 years ago
Alternatives and similar repositories for sos
Users that are interested in sos are comparing it to the libraries listed below
Sorting:
- Automatic transformation of implications and complementarity into mixed-integer models in Julia☆30Feb 8, 2020Updated 6 years ago
- alfonso: ALgorithm For Non-Symmetric Optimization☆18Aug 4, 2024Updated last year
- A JuMP extension for Polynomial Optimization☆45Oct 25, 2025Updated 3 months ago
- Sum of Squares Programming for Julia☆126Nov 20, 2025Updated 2 months ago
- Set Programming with JuMP☆23Dec 31, 2025Updated last month
- CaΣoS is a nonlinear sum-of-squares optimization suite based on the symbolic framework of CasADi.☆17Feb 3, 2026Updated 2 weeks ago
- Cone program refinement☆10Mar 6, 2020Updated 5 years ago
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 2 months ago
- Julia interface to CVXOPT☆12Jul 5, 2020Updated 5 years ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆64Jan 30, 2026Updated 2 weeks ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 2 weeks ago
- A Julia modeling layer for the Generalized Moment Problem☆15May 26, 2025Updated 8 months ago
- Semidefinite programming optimization solver☆99May 25, 2025Updated 8 months ago
- A solver for mixed-integer convex optimization☆139Apr 11, 2025Updated 10 months ago
- Intermediate wrapper of MOI for some linear quadratic solvers☆16Apr 17, 2020Updated 5 years ago
- JuMP extensions for constraint programming.☆16Jun 5, 2020Updated 5 years ago
- Julia interface to SNOPT (must obtain a licensed copy of SNOPT separately)☆19May 23, 2025Updated 8 months ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Sep 19, 2025Updated 4 months ago
- Optimization model diagnostic tools for Julia/JuMP☆18Sep 28, 2018Updated 7 years ago
- A Julia implementation of PRONTO☆23Feb 12, 2025Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated last year
- Implementation of SDDP (Stochastic Dual Dynamic Programming) using the StructJuMP modeling interface☆23Jun 11, 2025Updated 8 months ago
- ☆10Sep 23, 2019Updated 6 years ago
- MultivariatePolynomials implementation using typed variables in Julia☆27Sep 1, 2025Updated 5 months ago
- A physical and virtual cartpole☆24Feb 11, 2019Updated 7 years ago
- Solve global polynomial optimization problems of either commutative variables or noncommutative operators through a semidefinite programm…☆58Jun 4, 2018Updated 7 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- ☆34Feb 4, 2026Updated 2 weeks ago
- Presolve routines for mathematical optimization☆23Feb 1, 2026Updated 2 weeks ago
- Solving the Trust Region Subproblem as an Eigenproblem in Julia☆24Oct 1, 2021Updated 4 years ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50May 22, 2021Updated 4 years ago
- ☆63Aug 2, 2024Updated last year
- FBS2e examples in Python☆33Jan 18, 2026Updated 3 weeks ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Oct 6, 2022Updated 3 years ago
- MultiJuMP enables the user to easily run multiobjective optimisation problems and generate Pareto fronts.☆60Feb 16, 2023Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- An open bibliography of machine learning for formal proof papers☆32Sep 30, 2023Updated 2 years ago
- COMPAS XR streamlines extended reality workflows to ease the implementation of human-machine collaborative applications in architectural …☆15Feb 1, 2026Updated 2 weeks ago