A bus timetable is a bargain between passengers, drivers, and the budget. Optibus makes that bargain easier to test - and harder to leave to guesswork.
AMPL Optimization builds the algebraic modeling language of the same name - a tool that lets engineers and analysts describe huge, messy real-world decision problems in clean mathematical notation and then hand them to any of dozens of solvers. Born at Bell Labs in the 1980s and now an independent California company, AMPL is used by more than 100 corporations across 40-plus industries to run optimization in production, from power grids and supply chains to portfolios and airline schedules.
Nextmv is a DecisionOps platform that gives developers and operations-research teams the tooling to build, test, deploy, monitor, and govern optimization and decision models - things like vehicle routing, scheduling, and packing. It treats decision models the way DevOps treats software: version control, CI/CD, scenario testing, shadow production tests, and a system of record for every decision. Founded in 2019 by ex-Grubhub engineers Carolyn Mooney and Ryan O'Neil, the company raised an $8M Series A led by FirstMark Capital and was acquired by FICO in May 2026.
Lyric is a Sunnyvale-based AI platform built for the people who actually run supply chains. Its Lyric Studio harmonizes data, algorithms, configurable workflows, and accelerated compute so that planners, engineers, and data scientists can model, test, and deploy decision intelligence apps - from demand forecasting and inventory to network design and transportation. Fortune 500 customers use it to compress months-long modeling cycles into days.