rmpca 0.1.1

Enterprise-grade route optimization engine — Chinese Postman Problem solver with Eulerian circuit detection, Lean 4 FFI boundary, and property-based testing
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Geospatial types and calculations for the route optimization engine.
//!
//! This module defines core geographic types (`Coordinate`, `Way`) and
//! spatial utility functions (Haversine distance) used by the optimizer
//! and graph builder.
//!
//! // Aligns with `Lean4`: module `Geo.Types`

pub mod types;
pub mod spatial;