Model, solve, and optimize decisions

Nextmv has an extensible modeling and solving framework, featuring integrations with OR-Tools, HiGHS, Pyomo, and Gurobi— with more options to come.

Try Nextmv freeRead the docs

Model and solve the way you want

Nextmv provides several optimization modeling and solver options for solving routing, scheduling, fulfillment, allocation optimization use cases.

Nextroute

Nextmv provides a full-featured customizable optimization solution for solving large-scale vehicle routing problems (VRPs) . Quickly get started with low-code SaaS apps and then customize when you need to represent unique business logic. Create unique endpoints, run experiments, and mange models.

Learn more about Nextroute ➔
Google OR-Tools

Google OR-Tools is an open source optimization suite with support for mixed integer programming (MIP) and constraint programming (CP) solvers. With Nextmv, you can integrate new or existing OR-Tools models into production systems with a unique API endpoint, get access to model testing tools, and manage model versions.

Learn more about OR-Tools ➔
HiGHS

HiGHS is an open source optimization solver. It is a high performance serial and parallel software for solving large-scale sparse linear programming (LP), mixed-integer programming (MIP) models. Integrate with Nextmv to create unique API endpoints, access testing and modeling tools, and manage model versions.

Learn more about HiGHS ➔
Pyomo

Pyomo is an open source mathematical optimization modeling language with support for multiple solvers (CBC, GLPK) and problem types (MIP). The Nextmv Pyomo integration accelerates Pyomo model development with tooling and infrastructure for building, testing, and deploying faster.

Learn more about Pyomo ➔
Gurobi

Gurobi is a commercial optimization solver equipped to address a range of problem types (LP, MILP, QP, QCP, MIQP, MIQCP). The Nextmv Gurobi integration accelerates development of decision models using the Gurobi optimizer via Nextmv's DecisionOps tools for testing, deploying, and operating.  

Learn more about Gurobi ➔
AMPL

AMPL is an established decision modeling solution featuring an ecosystem of connectors for data sources (PostgresSQL, CSV, Excel), and solvers (CPLEX, Gurobi, HiGHS, CBC). The Nextmv AMPL integration accelerates development of AMPL decision models using DecisionOps tooling and infrastructure.

Learn more about AMPL ➔
Hexaly

Hexaly is a global optimization solver used for solving problems such as routing, scheduling, packing, picking, clustering, matching, assignment, location, and more. Hexaly is a commercial solution that provides free options for teaching and basic research.

Learn more about Hexaly ➔

Need another option? Let us know!

There are a lot of great optimization modeling and solving technologies out there. We’re continuing to invest in Nextmv’s extensive multi-solver framework. If you’re interested in learning more about what's on the roadmap for future modeling and solver options or want to suggest an addition, send us a message.

Contact us about model and solver options ➔
Get startedTalk with us