{
  "title": "Simple Counter Module",
  "origin_url": "https://en.wikipedia.org/wiki/SMV_(symbolic_model_checker)",
  "license_guess": null,
  "code_sha256": "5aad6708b2e4fef4db983104a57ba33a65457cbe69e4141682798bada4a447e3",
  "added_at": "2025-10-30T11:45:15Z"
}