{
  "auto_detect": "no",
  "customize": {
    "check_that_exists": "yes",
    "ck_version": 10,
    "env_prefix": "CK_A_MATH1UM_OBJECTS_INVARIANTS_PROPERTIES",
    "skip_file_check": "yes",
    "skip_version": "yes",
    "soft_file_universal": ""
  },
  "soft_name": "Artifact from https://github.com/math1um/objects-invariants-properties",
  "tags": [
    "imported-artifact",
    "raw-artifact",
    "black-box",
    "github",
    "math1um-objects-invariants-properties"
  ]
}