mps
A fast MPS parser written in Rust
About
mps is a parser for the Mathematical Programming System (MPS) file format, commonly used to represent optimization problems.
This crate provides both a library and a CLI for parsing MPS data. Key features include:
- Configurable Parsing:
- Supported feature flags:
trace- Enhanced debugging and statistics vianom_tracableandnom_locate.proptest- Property testing integrations.cli- Command line interface.
- Supported feature flags:
- Robustness: Extensively tested against Netlib LP test suite.
- Performance: Benchmarked using Criterion.rs.
Examples
Library
use Parser;
let contents = "MPS data...";
match parse
CLI
Usage as a flake
Add mps to your flake.nix:
{
inputs.mps.url = "https://flakehub.com/f/integrated-reasoning/mps/*.tar.gz";
outputs = { self, mps }: {
# Use in your outputs
};
}
Running with Docker