{
  "title": "Simple Timed Automaton",
  "origin_url": "https://www.it.uu.se/research/group/darts/uppaal/",
  "license_guess": null,
  "code_sha256": "53292ad363e994aaff8f2eb0d7a4b2979c8bc4c11a5c216e07700a0a9d1e98a2",
  "added_at": "2026-02-13T10:13:27Z"
}