Modeling language for Mathematical Optimization (linear, mixed-integer, ...
Splitting Conic Solver
An implementation of the SE-Sync algorithm for synchronization over the ...
COSMO: Accelerated ADMM-based solver for convex conic optimisation probl...
Clarabel.jl: Interior-point solver for convex conic optimisation problem...
Toolbox for gradient-based and derivative-free non-convex constrained op...
Certifiable Outlier-Robust Geometric Perception
Bayesian Optimization of Combinatorial Structures
Semidefinite programming optimization solver
Solver for Large-Scale Rank-One Semidefinite Relaxations
LipSDP - Lipschitz Estimation for Neural Networks
Code of the Performance Estimation Toolbox (PESTO) whose aim is to ease ...