oximo is a Rust algebraic modeling library for mathematical optimization. See the webdocs, API documentation, and examples for more.

use oximo::prelude::*;
use oximo::solvers::Highs;

let demand = [4.0, 6.0, 5.0];

let m = Model::new("production");
variable!(m, production[p in 0..2, t in 0..3] >= 0.0);
constraint!(m, meet[t in 0..3],
    sum!(production[p, t] for p in 0..2) >= demand[t]);
objective!(m, Min, sum!(production[p, t] for p in 0..2, t in 0..3));

let mut solver = Highs;
let result = solver.solve(&m, &HighsOptions::default())?;
println!("objective = {:?}", result.objective());
# Ok::<(), Box<dyn std::error::Error>>(())

Problem types

The modeling layer supports a range of algebraic optimization problems. The available problem types depend on the solver backend:

• Linear programming (LP)
• Quadratic programming and quadratically constrained programming (QP/QCP)
• Nonlinear programming (NLP)
• Mixed-integer linear programming (MILP)
• Mixed-integer nonlinear programming (MINLP)
• Mixed-integer quadratic and quadratically constrained programming (MIQP/MIQCP)
• Second-order cone programming (SOCP/MISOCP)

Features

Feature	What it adds	Default
highs	HiGHS - LP/MILP/QP solver (bundled, requires a C/C++ compiler)	no
io	NL, MPS, and LP file readers and writers	yes
gurobi	Gurobi v13+ solver (requires licensed install)	no
mosek	MOSEK 11.2 - convex LP/MIP/QP/QCP/SOCP solver	no
gams	GAMS bridge - solve type depends on the selected sub-solver	no
baron	BARON - global non-convex solver (requires licensed install)	no
clarabel	Clarabel - LP/QP/SOCP conic solver (pure Rust, no install)	no
clarabel-faer	Clarabel with the faer sparse linear-algebra backend	no
pounce	POUNCE - pure-Rust IPOPT for LP/QP/QCP/NLP (no install)	no
pounce-enzyme	POUNCE with exact Enzyme derivatives (nightly)	no

Workspace layout

Crate	Role
oximo	Umbrella crate
oximo-expr	Arena-allocated expression tree
oximo-core	Model, Variable, Constraint, Objective, Set
oximo-macros	variable!, constraint!, objective! and other macros
oximo-autodiff	Gradients, sparse Jacobians/Hessians via Enzyme
oximo-solver	Solver trait, SolverResult, SolverOptions
oximo-io	MPS, LP and NL readers and writers
oximo-highs	HiGHS backend
oximo-gurobi	Gurobi 13 backend
oximo-mosek	MOSEK 11.2 backend
oximo-gams	GAMS writer and backend
oximo-baron	BARON writer and backend
oximo-clarabel	Clarabel backend
oximo-pounce	POUNCE (pure-Rust IPOPT) backend

License

MIT OR Apache-2.0