The Quebec City firm bet that companies do not need another AI lecture. They need fewer broken machines, smarter routes and a proof of value before the expensive part begins.
Haladir is a San Francisco AI product lab (YC W26) building the decisional AI layer for logistics. It pairs formal optimization solvers with large language models so software can reason through hard constraints - routing, scheduling, labor and inventory allocation - and produce verifiable, optimal decisions instead of confident guesses. Its Nomos framework sits on top of existing WMS, TMS and OMS systems, unifies their data into one operational graph, and drives decisions through operator review, direct integration, or AI agents.
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.