Skill Claude CodeCodex
Models and solves mixed-integer linear programs, including binary, integer, and continuous decision variables with linear objectives and constraints.
5 1mo ago A 30 tokens
original MIT
or-solver
26Skill Claude CodeCodex
Unified solver detection, installation, selection, and license configuration for OR optimization skills (LP, MIP, SOCP). One-stop solver management: detect installed packages, install missing solvers with proper priority, select the best available solver by problem type, and troubleshoot common errors. Covers 20…
5 1mo ago A 145 tokens
original MIT
osqp-solver
27Skill Claude CodeCodex
Model, solve, update, reproduce, and diagnose continuous convex quadratic programs with the OSQP Python interface, including canonical-form conversion, sparse CSC data, solver-status gates, residual checks, infeasibility certificates, warm starts, repeated parametric QPs, and academic citation. Use when a task names…
5 1mo ago A 131 tokens
original MIT
Skill Claude CodeCodex
Models and solves second-order cone programs and problems convertible to SOCP form using cvxpy with multiple solver backends (COPT, Gurobi, MOSEK, CPLEX, CLARABEL, ECOS, SCS, CVXOPT, COSMO, OSQP). Handles linear objectives with second-order cone constraints, as well as problems reducible to SOCP such as portfolio…
5 1mo ago A 114 tokens
original MIT