Skip to content
Solvometry

Early access · Cloud LP & MILP engine

Optimization that learns.

Solvometry is building a cloud optimization engine that analyzes the structure of every model you submit, selects and configures the solving strategy for you, and turns the experience of past solves into better decisions on the next one.

Explore the technology
Problem classes
LP · MILP
Interfaces
Python · REST · MPS
Status
Pre-launch

Why optimization needs to evolve

Solvers got faster. The workflow did not get smarter.

Modern mathematical programming is extraordinarily powerful. But getting good performance out of it still depends on manual choices about which solver to use, how to configure it, and which computational strategy to apply. Those choices are made by people, under deadline, with limited evidence.

No algorithm wins everywhere

Performance variability in MILP is well documented: the best solver, and even the best setting of a single solver, changes from instance to instance. Choosing one engine and one configuration for every workload leaves performance on the table, systematically.

Configuration is expert labor

Hundreds of parameters, presolve choices, emphasis settings, cut strategies and heuristics. Tuning them is slow, specialist work that rarely transfers when the data changes, and it is usually done once and never revisited.

Experience is thrown away

Most organizations solve structurally similar models every day. Yet each run starts cold: yesterday's incumbent, the configuration that worked, and the variables that never changed are rarely exploited in any systematic way.

Which strategy is best? It depends on the instance.Illustrative, not benchmark data

Each column is a problem instance; each row a solving strategy. The highlighted cell marks the fastest strategy for that instance.

fastest for instance slower → much slower
This is the classical algorithm selection problem (Rice, 1976), and it is a prediction problem. Given the features of an instance, which strategy should run? Answering it well requires data from many solves. That is what Solvometry is designed to accumulate.

How Solvometry works

Four stages. One feedback loop.

You describe the problem and the time you can spend. Solvometry decides how to solve it, and every permitted run makes the next decision better informed.

01 / SUBMIT

Bring a mathematical model through a familiar interface.

Send a model from Python, over REST, or as a standard MPS or LP file. Keep the modeling framework you already use. Declare only what matters to you: the problem, the time budget, and the outputs you need.

  • No solver selection required
  • No rewrite of existing models
  • Explicit time and resource limits

Python SDK

launch target

REST API

launch target

MPS / LP files

launch target

Pyomo

early integration

PuLP

early integration

JuMP

planned

MathOpt

planned

AMPL-compatible

exploring

solve(model, time_limit=60)

The intelligence engine

Three layers of intelligence. One interface.

Solvometry is designed as a set of complementary capabilities that compound: selection decides how to solve, learning improves those decisions with experience, and acceleration brings learned guidance into the solve itself.

AutoSolve

01

Intelligent solver selection and configuration.

Instance-based algorithm selection: features of the submitted model are mapped to a ranked set of strategies, constrained by your time limit and the outputs you require.

  • Structural feature extractionIn development
  • Portfolio of HiGHS and SCIP strategiesIn development
  • Parameter predictionNext
  • Capability-aware routing (duals, IIS, pools)Next

AutoLearn

02

Experience-driven adaptation across workloads.

Telemetry from permitted solves refines strategy selection globally, specializes it to your recurring model families, and links related instances so that knowledge is reused rather than rediscovered.

  • Model-family identificationNext
  • Performance-based strategy updatesNext
  • Instance similarity and solution reuseRoadmap
  • Online and sequential learningResearch

AutoAccelerate

03

Learned methods inside the search itself.

Research-driven techniques that use learned models to guide the search, while the underlying algorithms keep their mathematical guarantees. These capabilities are on the roadmap and will be released only when they are validated.

  • Learned MIP startsRoadmap
  • Learning-guided large neighborhood searchRoadmap
  • Adaptive compute budget allocationResearch
  • Learned branching policiesResearch

Where Solvometry fits

Not another solver. Not another modeling language.

Traditional solvers provide powerful algorithms. Modeling frameworks help you express problems. Neither decides, from evidence, which algorithm and configuration a particular instance should get. Solvometry is the missing layer between them: an execution engine that combines the strengths of different algorithms and improves with experience.

The initial portfolio is built on proven open-source engines. Over time, we intend to develop proprietary solving and acceleration methods of our own, behind the same interface.

Modeling frameworks

Pyomo · JuMP · PuLP · MathOpt · AMPL

Help you express the mathematical problem and communicate it to a solver.

Solvometry

Intelligent execution layer

Decides how each model should be solved, runs it, verifies the result, and learns from the outcome across your workloads.

Solving engines

HiGHS · SCIP · future proprietary methods

Provide the rigorous algorithms (simplex, interior point, branch-and-cut) that compute solutions and bounds.

Conceptual demonstration

Watch the engine reason about a model.

Pick a problem family and step through how Solvometry is designed to analyze a model, weigh candidate strategies, and return a result. Everything here is illustrative: no solver runs in your browser and no values are measurements.

Concept demo · not a benchmark
  1. Submit
  2. Analyze
  3. Score
  4. Select
  5. Result

Model

plant_allocation_2026-10-31.mps

min Σ cost·x + Σ setup·y s.t. capacity, demand, x ≤ M·y, y ∈ {0,1}

Structural features

variables
12,800 · 65% integer
structure
block-angular by plant
coefficient range
1e-1 … 1e+3
history
recurring daily family
prior incumbent
available, 2 rows changed

Candidate strategies

  • Default branch-and-cut

    Safe baseline for any MILP.

  • Presolve-aggressive + cuts

    Big-M setup links benefit from tightening.

  • Warm start + local search

    Yesterday's plan is close to feasible; repair and improve it.

Result

awaiting run…

Built for developers

One call. No solver flags.

Describe the problem and the time you can afford. The public interface stays small and stable while the intelligence behind it keeps improving.

Result fields

  • status

    optimal, feasible, infeasible, unbounded, time_limit

    Core
  • objective · values

    Objective value and primal variable assignments

    Core
  • best_bound · mip_gap

    Certified dual bound and relative gap for MILP

    Core
  • run

    Strategy, solver, version, parameters, seed for reproducibility

    Core
  • duals · reduced_costs · slacks

    LP sensitivity data; MILP only via fixed-integer LP

    Planned
  • iis

    Irreducible infeasible subsystem for infeasible models

    Planned
  • basis · mip_start · solution_pool

    Warm-start inputs and alternative solutions where supported

    Later

Capabilities differ by problem class and engine. Requests are routed to strategies that support the outputs you ask for, and the response states exactly which engine produced them.

solve.pyAPI preview · SDK in development
from solvometry import solve

# Pass a Pyomo or PuLP model, an MPS/LP file, or an SDK-built model.
result = solve("production.mps", time_limit=60)

print(result.status)       # Status.OPTIMAL
print(result.objective)    # 1284310.55
print(result.mip_gap)      # 0.0
print(result.values["x[plant_3,sku_17]"])

The interface shown is a design preview and may change before release. Early-access members will help shape it.

One engine. Many optimization problems.

Domain-independent by design. Specialized by experience.

Solvometry works at the level of mathematics: variables, constraints and objective. It needs no domain template, yet it learns the recurring structure of your models, which is where most practical performance lives.

Supply chain planning

Multi-echelon flows, sourcing and allocation across facilities and periods.

multi-period MILP

Inventory optimization

Lot sizing, replenishment and safety-stock positioning under capacity limits.

lot-sizing MILP

Production scheduling

Sequencing, batching and machine assignment with setups and due dates.

time-indexed MILP

Logistics & transportation

Load planning, fleet assignment and routing on time-expanded networks.

network flow + MILP

Workforce scheduling

Rostering and shift design subject to coverage, labor rules and fairness.

set covering

Resource allocation

Budgets, capacity and assets assigned under competing constraints.

LP / assignment

Energy optimization

Unit commitment, dispatch and storage scheduling across horizons.

unit-commitment MILP

Network design

Facility location and capacity expansion with fixed-charge decisions.

fixed-charge MILP

Financial optimization

Portfolio construction with cardinality, lot and turnover constraints.

mixed-integer LP

General mathematical programming

Any linear or mixed-integer linear model you can write down.

LP · MILP

Mathematical rigor meets machine learning

Learning guides the search. Mathematical optimization validates the result.

Machine learning in Solvometry is used to make computational decisions, not to replace the mathematics. A learned model can change how fast a good answer is found. It cannot change whether an answer is feasible or what the certified bound is.

Learning proposes

Statistical models trained on solve telemetry

Which solver and configuration
algorithm selection, parameter prediction
Where to start
learned MIP starts, reused incumbents
Where to search
neighborhood selection, branching guidance
How to spend the budget
adaptive allocation of compute time

Optimization verifies

Exact algorithms with mathematical guarantees

Feasibility
every returned solution is checked against the submitted constraints and bounds
Bounds and gaps
optimality claims come from the solver's dual bound, never from a model's prediction
Status semantics
optimal, feasible, infeasible and time-limit outcomes are reported exactly
Reproducibility
solver, version, parameters and seed are recorded for every run

The asymmetry that makes this safe

A poor prediction costs time, not correctness. If a learned warm start is bad, the solver discards it. If a predicted configuration underperforms, the run still terminates with an exact status and a valid bound.

Not a language model guessing answers

Solvometry does not ask an LLM to read your model and produce a solution. Its learning components are predictive models over numerical and structural features of mathematical programs, evaluated by measured solver outcomes.

A decision problem in its own right

Choosing what to run, for how long, and when to switch strategies under a fixed budget is a sequential decision problem. Treating it that way, rather than with static rules, is the research core of the platform.

Product roadmap

Ambitious in direction. Honest about sequence.

Each phase builds on the data and infrastructure of the previous one. Nothing below is generally available today; we will mark capabilities as released only when they are.

  1. IIn development

    Foundation

    Cloud mathematical programming with a consistent API.

    • LP and MILP solving in the cloud
    • Python SDK, REST API, MPS/LP input
    • Time limits and resource controls
    • Reproducible run manifests
    • Core result fields: status, objective, values, bound, gap
  2. IINext

    Intelligence

    Automated algorithm selection and performance-based learning.

    • Feature-based solver and configuration selection
    • Model-family identification
    • Opt-in workload-specific learning
    • LP duals, reduced costs, slacks, IIS
    • Modeling-framework integrations
  3. IIIRoadmap

    Acceleration

    Learned heuristics and reuse of historical solutions.

    • Learned MIP starts from related instances
    • Learning-guided large neighborhood search
    • Stable-decision detection across instances
    • Adaptive solver portfolios
    • Private and dedicated deployments
  4. IVResearch

    Research frontier

    Dynamic orchestration and new algorithmic capabilities.

    • In-flight strategy switching under a budget
    • Learned branching policies
    • Sequential decision models for compute allocation
    • Proprietary solving and acceleration methods
    • Selected expansion beyond linear models

Early access & design partners

Help shape the engine before it ships.

Solvometry is in early development. We are looking for practitioners and organizations with real optimization workloads, especially recurring ones, to evaluate the technology with us and tell us where it matters most.

Waitlist

Join early access

One field. We will notify you as access opens, in the order people joined.

We use your email only to contact you about Solvometry. See our privacy policy.

Design partner program

Build it with us

A small number of teams will work closely with us through the Foundation and Intelligence phases.

What partners get

  • Hands-on access to the engine ahead of public availability
  • Direct working sessions with the founding technical team
  • Influence over the API, integrations and roadmap priorities
  • Strategy analysis on representative models, under agreed terms

An ideal fit

  • You solve LP or MILP models on a recurring schedule
  • Solve time, tuning effort or solver cost is a real constraint
  • You can share representative (or anonymized) instances under NDA
Start the application below ↓

Design-partner application

Tell us about your optimization workloads

About three minutes. Everything beyond your name, work email and company is optional, but the more we know about how and how often you solve, the better we can judge where Solvometry can help first.

  1. Step 1

  2. Step 2

  3. Step 3

Only name, work email and company are required. See our privacy policy.

FAQ

Precise answers to fair questions.

If your question is not here, email us. Technical questions are especially welcome.

What is Solvometry?

Solvometry is a cloud mathematical optimization engine under development. You submit an optimization model and a time budget through one API; Solvometry analyzes the model's structure, selects and configures a solving strategy, runs it, verifies the result, and uses permitted solve history to make better strategy decisions over time.

What types of optimization problems will it support?

The initial focus is linear programming (LP) and mixed-integer linear programming (MILP), which cover the large majority of industrial planning, scheduling, allocation and network problems. We intend to expand to other problem classes only once we can support them with the same rigor; we do not claim nonlinear or stochastic optimization support for the first release.

Is Solvometry a mathematical solver or a solver orchestration platform?

Today it is best described as an intelligent execution layer: it decides how each model should be solved and orchestrates proven engines to do it. That is a starting point, not the ceiling. Our long-term plan includes proprietary solving and acceleration methods, delivered behind the same interface so that customers benefit without changing their code.

Does Solvometry replace Gurobi or other solvers?

Not necessarily, and we make no claim to be faster than any commercial solver today. Solvometry addresses a different question: given a particular model, time budget and history, which strategy should run? Some teams may use it to reduce dependence on manual tuning or licensing; others may eventually want commercial engines inside the portfolio. Design partners will help us decide which matters most.

How does the AI work?

Solvometry computes numerical and structural features of each model (size, integrality, sparsity, coefficient ranges, recognizable constraint structure) and uses statistical and machine-learning models trained on solve outcomes to predict which strategies are likely to perform well. Later phases apply learning inside the search itself, for example learned warm starts and learning-guided neighborhood search. Throughout, exact optimization algorithms compute the solutions and bounds.

Does it use large language models to solve optimization problems?

No. Solvometry does not ask a language model to read a model and produce an answer. The learning components are predictive models over mathematical features, and every reported solution, bound and status comes from a rigorous optimization algorithm and is verified against the submitted model.

How does it learn from previous optimization models?

At three levels. Globally, it learns general relationships between problem structure and strategy performance. At the model-family level, it specializes to your recurring formulations, such as a daily production plan. At the instance level, it exploits similarity between closely related runs, for example by reusing a repaired incumbent as a warm start. Learning is a long-term engineering and research goal; it will not improve every individual solve, and we will publish evidence before making performance claims.

Will my mathematical models remain private?

Yes. Your models, data and solutions belong to you and are never shared with other organizations. Family- and instance-level learning stays within your organization's boundary. Any cross-customer learning is designed to use only aggregate, non-identifying structural statistics and solver-performance signals, and we intend to let customers opt out of it entirely. Detailed data-handling terms will be agreed in writing before any design partner shares a model.

Can I use my existing modeling framework?

That is a core design goal. The first release targets a Python SDK, a REST API, and standard MPS and LP files, which most frameworks can already export. Native integrations with Pyomo and PuLP are planned early, with JuMP, MathOpt and AMPL-compatible workflows to follow. Tell us what you use in the design-partner application; it directly affects priority.

What outputs and diagnostics will be available?

Core results include status, objective value, primal values, best bound and MIP gap, plus a run manifest (strategy, solver, version, parameters, seed) for reproducibility. Planned additions include LP dual values, reduced costs, slacks, infeasibility analysis (IIS), basis information, MIP starts and solution pools where supported. Capabilities depend on the problem class: for example, LP shadow prices are not presented as generally valid MILP constraint duals.

Is Solvometry available today?

Not yet. Solvometry is pre-launch and under active development. The API shown on this site is a design preview. Joining the waitlist is the best way to hear when access opens, and design partners will get hands-on access first.

How can I participate in the early-access program?

Join the waitlist with your email for launch updates, or apply to be a design partner if you have real, ideally recurring, LP or MILP workloads. Design partners work directly with the founding team, gain early access, and influence the roadmap. Applying takes about three minutes and carries no obligation.

Every solve should make the next one smarter.

We are building that engine now. Join early, and help decide what it learns first.