Algorithmic NLP preprocessing as a TNLP wrapper for POUNCE: bound tightening, redundant-constraint removal, LICQ degeneracy detection.
Gurobi backend for oximo
A comprehensive Operations Research toolkit for linear programming, optimization, and mathematical modeling
HiGHS LP/MILP backend for oximo
A Heuristics toolbox for QUBO in Rust
An exact linear program solver written in Rust
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
LP/MIP solver abstraction layer with HiGHS backend for power system optimization
Parse MIP/LP solver log files (Gurobi, Xpress, SCIP, HiGHS, COPT, …) into a unified, serde-serializable schema.
Rust bindings for Google OR-Tools SCIP mixed-integer programming solver
Mathematical optimization solver — LP (Revised Simplex) and QP (Interior Point / Mehrotra predictor-corrector)
Rust bindings for the PaPILO library