Information page for running sos solvers
☆14Oct 25, 2021Updated 5 years ago
Alternatives and similar repositories for sos
Users that are interested in sos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆26Mar 2, 2022Updated 4 years ago
- 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 2 years ago
- Intermediate wrapper of MOI for some linear quadratic solvers☆16Apr 17, 2020Updated 6 years ago
- JuMP extensions for constraint programming.☆15Jun 5, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Sum of Squares Programming for Julia☆134Updated this week
- Set Programming with JuMP☆23Updated this week
- Extension of MultivariatePolynomials to semialgebraic sets☆24Sep 21, 2026Updated last month
- A JuMP extension for Polynomial Optimization☆46Oct 21, 2026Updated last week
- We provide the Matlab Implementation of Sparse-BSOS described in Weisser, Lasserre, Toh: Sparse-BSOS: a bounded degree SOS hierarchy for …☆11Nov 13, 2017Updated 8 years ago
- Simple visualization for the RigidBodyDynamics.jl library☆13Feb 8, 2020Updated 6 years ago
- Tools for SDP facial reduction☆15Dec 12, 2015Updated 10 years ago
- Source for jump.dev☆15Oct 19, 2026Updated last week
- Positive-definite "approximations" to matrices☆40Jun 25, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple irreducible infeasible subsystem solver for MathOptInterface.jl☆13Oct 19, 2026Updated last week
- Testing for Julia, simplified.☆16Aug 2, 2020Updated 6 years ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- A solver for mixed-integer convex optimization☆141Oct 12, 2026Updated 2 weeks ago
- MultivariatePolynomials implementation using typed variables in Julia☆28Oct 24, 2026Updated last week
- Julia package for the Singular library☆20Oct 12, 2021Updated 5 years ago
- Analysis and design tools for control systems.☆11Nov 4, 2019Updated 6 years ago
- A Julia modeling layer for the Generalized Moment Problem☆15May 26, 2025Updated last year
- Julia interface to CVXOPT☆12Jul 5, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A package for fast evaluation of multivariate polynomials.☆13Oct 6, 2026Updated 3 weeks ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆49May 22, 2021Updated 5 years ago
- Unit and Integration Tests for JuMP NLP and MINLP solvers☆12Oct 14, 2026Updated 2 weeks ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated 10 months ago
- Website for JuliaOpt☆11Jun 23, 2026Updated 4 months ago
- Semidefinite programming optimization solver☆97May 25, 2025Updated last year
- ☆16Aug 20, 2022Updated 4 years ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆69Updated this week
- Interface to the RobotLocomotion Drake Visualizer tool from Julia☆18Feb 8, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Stack-allocated pointer-based array views☆46Jun 22, 2026Updated 4 months ago
- Julia interface to COIN-OR Optimization Services https://projects.coin-or.org/OS☆16Feb 8, 2020Updated 6 years ago
- Elastic foundation contact model for rigid body dynamics.☆10Jun 11, 2020Updated 6 years ago
- A repository for long-term benchmarking of JuMP performance☆21Updated this week
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆24Aug 14, 2024Updated 2 years ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆16Updated this week