{
  "title": "Simple Routing Protocol",
  "origin_url": "https://raw.githubusercontent.com/NetworkVerification/nv/master/examples/simple_protocol.nv",
  "license_guess": null,
  "code_sha256": "f7935ad914eedbde63b08114246ca82e8f50db9f0f125869a2d010f3b8e7bcf1",
  "added_at": "2026-03-13T06:35:48Z"
}