oximo editor

Write an oximo model, build it locally, and solve it with Pounce in your browser.

Import a model file

Choose .nl (with optional .col/.row), .lp or .mps. Files are parsed with oximo-io.

Model file required · .nl/.lp/.mps

Variable names .col · optional (NL only)

Constraint names .row · optional (NL only)

You can drop a model file here. Maximum size: 25 MB.

Try a sample: LP · MPS

Files never leave this browser. Supported via oximo::io::{read_nl,read_lp,read_mps}.

Loaded model

Load a file to inspect dimensions before solving.

Model: Waiting for a file

Solution variables

Imported solution variables
Name	Value

Constraints

Imported solution constraints
Name	Value	Bounds

oximo editor

Write a model using oximo, a Rust algebraic modelling language. Solve it in the browser using Pounce (LP/QCP/NLP)

oximo code Rust highlighted in editor

use oximo::prelude::*; let m = Model::new("transport"); variable!(m, aa1 >= 0.0); variable!(m, aa2 >= 0.0); variable!(m, bb1 >= 0.0); variable!(m, bb2 >= 0.0); constraint!(m, supply_a, aa1 + aa2 <= 35); constraint!(m, supply_b, bb1 + bb2 <= 45); constraint!(m, demand_1, aa1 + bb1 >= 30); constraint!(m, demand_2, aa2 + bb2 >= 50); objective!(m, Min, 2.0 * aa1 + 3.0 * aa2 + 4.0 * bb1 + bb2);

Edit the code, build, then solve with current Pounce options.

Editor solution

Build the editor model to see variables/constraints.

Model: Waiting for build

Variables

Editor solution variables
Name	Value

Constraints

Editor solution constraints
Name	Value	Bounds

Solver log

Pounce output captured in Worker. Use Pounce options to control detail.

The solver log will appear here.

About

Everything here runs as wasm32-wasip1 in a dedicated Worker. site/static/js/wasi.js exposes only clock, crypto.getRandomValues and stdout; there is no filesystem or network. site/static/oximo-wasm.wasm (optimized with wasm-opt -Oz) is streamed via WebAssembly.instantiateStreaming.

File imports (.nl + .col/.row, .lp, .mps) are parsed by oximo-io::{read_nl,read_lp,read_mps} in the browser and never uploaded. The oximo editor parses variable!/constraint!/objective! (bounds, Bin/Int, 0 <= x <= 10, + - * / ^ pow sin cos exp log abs sqrt) into a Model via crates/oximo-wasm/src/editor.rs.

Solver & autodiff: All models are solved by Pounce. Built with pounce-enzyme on nightly-2026-07-26 (-Zautodiff=Enable, fat-LTO), derivatives are exact via oximo-autodiff. The runtime expression tape is compiled with Tape::compile and differentiated once as eval_tape. Native uses reverse for grad / forward-over-reverse for HVP; on wasm32 this build uses forward-over-forward (autodiff_forward) to avoid a reverse-loop ABI issue (rust#161110), so imported and editor models also get exact Jacobians/Hessian-vector products.

oximo on GitHub Pounce on GitHub