{
  "title": "Transitive Closure",
  "origin_url": "https://github.com/HarvardPL/formulog",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "35f5b4ea7e5d6bdd621ed8df3a5e3246e2323cd8ef1247317224fdf6880e5be9",
  "added_at": "2026-02-13T09:48:57.198805Z"
}