Splitting Conic Solver

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

Clarabel Solver for Java

Clarabel Solver for Java Native Libraries

|toqito> (Theory of Quantum Information Toolkit) is a Python library for research in quantum information theory.

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

PEPit is a package enabling computer-assisted worst-case analyses of first-order optimization methods.

Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.

Codebooks with Integral-Split Self-Interference Reduction

A Coq tactic for proving multivariate inequalities using SDP solvers

A CUDA-based implementation of the Alternating Direction Method of Multipliers (ADMM) algorithm to solve Semi-Definite Programming (SDP) problems.

[CVPR 2025 Award Candidate & Oral] Convex Relaxation for Robust Vanishing Point Estimation in Manhattan World

A Julia interface to the SDPA semidefinite programming solver

Parallel C implementation of a mixing-method variant solving the basic SDP relaxation of semi-supervised support vector machine (S3VM) models, plus variable-bound tightening.

An exact semidefinite programming (SDP) based solver for L2-norm semi-supervised support vector machine (S3VM) models.

A parallel branch-and-bound solver for the single-row facility layout problem using semidefinite programming bounds

Julia implementation of the Augmented Mixing Method for semidefinite programs (SDPs)

Robust data-driven control for nonlinear systems using imperfect digital twins and LMI-based quadratic funnel certificates.

Numerical computation of invariant reachable sets for nonlinear systems using semi-algebraic programming

A Julia/JuMP Package for Maximizing Algebraic Connectivity of Undirected Weighted Graphs