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
//! Property-based tests module
//!
//! This module contains property-based tests for algorithmic correctness.

pub mod property_tests;