{
  "title": "Knuth and Yao's Die Algorithm",
  "origin_url": "https://www.prismmodelchecker.org/tutorial/die.php",
  "license_guess": null,
  "code_sha256": "969493a440b7ab1060385144aff1d322a8a3f665fd2fe6577a6280970839d30b",
  "added_at": "2026-02-13T14:12:55Z"
}