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.
▸ received daily_plan.mps18,432 vars · 9,611 rows · 71% integer
Strategy portfolio
LP-based B&B · default
Aggressive heuristics + cuts
Warm start + MILP config B
predicted fit for this instance and budget
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.
Solver A · default
Solver A · tuned
Solver B · default
Solver B · heuristics
Warm-started
LNS-first
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
Submit
Analyze
Score
Select
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.
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
fromsolvometryimportsolve# 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.OPTIMALprint(result.objective)# 1284310.55print(result.mip_gap)# 0.0print(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.
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
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
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
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.
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
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.
No commitment. Applying does not obligate you to anything, and we do not sell or share your information.
No confidential data here. Models are only ever exchanged later, through a secure channel under agreed terms.
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.