rmpca 0.1.0

Enterprise-grade offline route optimization library and CLI — Eulerian circuit solver with graph caching, Lean 4 FFI, 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;