README
Suquster/moonbit-pathfinding/examples/network_routing does not have a README file
Query
type QueryA single query scenario: find the minimum-latency route src -> dst
across the backbone network. The note is a free-form string printed
alongside the result to give human context (e.g. "cross-country hop").
Source Files
Install
Download zipA MoonBit pathfinding and graph algorithms library with executable documentation, runtime-checked proof predicates, and multi-backend verification gates. Built for OSC 2026.
pathfindinggraphalgorithmsdijkstraastarbfsjpsruntime-contractsexecutable-docsosc-2026
Apache-2.0
Updated 3 months ago
82 downloads