Supply Chain

Constraint-verified planning for distribution operations. Machine learning proposes, a composable rule engine verifies, and every load, order, and re-plan ships with a complete, auditable explanation.

Automotive

Line-Down Clock

Hours until each assembly plant stops, by part number, from on-hand plus in-transit against line consumption. Plain arithmetic a plant manager can redo on a whiteboard, across four plants and thirty-four commodities.

4 plants Downtime over 72h No model, no forecast
Open Line-Down Clock
Automotive

Inbound Re-Planning

A supplier short-ships, a carrier breaks down, customs holds a load, incoming inspection quarantines stock, or a JIS part arrives out of sequence. Recovery options priced against downtime avoided and verified before they are offered.

5 disruption types 6 inbound rules Untouched-plan proof
Open Inbound Re-Planning
Automotive

EDI Transaction Health

The release-to-payment exchange with every supplier: 862 out, 997 back, 856 ASN ahead of the truck, 810 three-way matched. Eight rules, each failure tagged with the consequence it causes and escalated to line risk against the clock.

X12 and EDIFACT 8 validation rules Failure to consequence
Open EDI Transaction Health
Outbound

Load Building

Constraint-verified trailer loading and routing with known orders. Multi-temp compartments, stacking safety, delivery windows, and driver hours checked before any truck moves, with a proof certificate per load.

Multi-temp trailers 6 hard constraints Proof per load
Open Load Building
Inbound

Perishable Replenishment

Forecast-driven ordering with hard guardrails: shelf-life coverage, case-pack and pallet rounding, vendor minimums, and truck cube thresholds. Every order line carries a full explanation of why that quantity.

ML + guardrails Waste vs stockout Line-level audit
Open Replenishment
Execution

Disruption Re-Planning

A reefer fails, a store closes its window, a road shuts down. Re-plan the affected loads in seconds and prove the new plan still satisfies every constraint, leaving untouched loads untouched.

4 disruption types Plan diff Re-verified
Open Re-Planning
Fleet

Fleet Dispatch (SCFDP)

Supply-chain feasibility-driven planning: demand forecast composed with hard routing constraints and formal proof traces, validated on standard CVRP benchmarks up to 1000 customers.

Constraint proofs Live rule editing Backtesting
Open Fleet Dispatch