Contraction Hierarchies Python Packages

certflow

Certified route planning under drifting costs: conformal certificates (LB<=OPT<=UB), certificate-directed sensing, proof-gated ns-us preprocessing, and an observable-coverage layer (WATCH + Shiryaev-Roberts). 250 tests, validated on real METR-LA.

mpee

Offline routing, multi-vehicle VRP & street geocoding for one downloaded area — Rust engine, driven from Python or a CLI