{
  "title": "Graph Reachability (Transitive Closure)",
  "origin_url": "https://github.com/vmware/differential-datalog/blob/master/doc/tutorial/tutorial.dl",
  "license_guess": "MIT",
  "code_sha256": "a103ad9af21e81db80f89acca4e51b6dbc597e25fb4b060ca5307b01d8926a48",
  "added_at": "2026-03-12T10:00:00Z"
}