{
  "title": "Towers of Hanoi in JOVIAL",
  "origin_url": "https://github.com/Digital-EDA/JOVIAL/blob/master/examples/hanoi.jov",
  "license_guess": "The Unlicense",
  "code_sha256": "25abea566ebe1f8ad4800a2ad11321d1bb1eb666715fc03294bc0947a239d744",
  "added_at": "2025-10-28T10:24:31Z"
}