{
  "title": "Die Hard Jug Problem Specification in TLA+",
  "origin_url": "https://github.com/tlaplus/Examples/blob/master/specifications/DieHard/DieHard.tla",
  "license_guess": "CC-BY-4.0",
  "code_sha256": "e98a621bb0f191abfaf5851149f706dec3468b4ede02e753318165cedccecc2b",
  "added_at": "2025-10-23T10:11:33Z"
}