{
  "title": "Simple Addition with Rewrite Rules",
  "origin_url": "https://github.com/egraphs-good/egglog/blob/main/tests/add.egg",
  "license_guess": "MIT",
  "code_sha256": "0da0a9cbe0b9ca7ed0afd4336de57cb1c40824c7d5c191bedb47bbc5f6e07be6",
  "added_at": "2026-02-16T00:00:00Z"
}