{
  "title": "Address Book Model in Alloy",
  "origin_url": "https://github.com/AlloyTools/models/blob/master/examples/systems/addressBook.als",
  "license_guess": "MIT License",
  "code_sha256": "e60ec0f884c3ecbeea423fe8d3005fbed3d2b4c67837b00ff0391a5f497d02b3",
  "added_at": "2025-10-23T15:51:38Z"
}