{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver",
    "version": "4.16.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "9.5.1"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "refinery-z3-solver-4.16.0.jar",
          "url": "refinery-z3-solver-4.16.0.jar",
          "size": 215354,
          "sha512": "3c9bcdc0cc139755bc9bee86437b4b39ea61957e28e83abc892c93f972a8376b99477e2f367aaedce59f45d9fb0cf5fc0dbd0f8f072537b41e6fdde0abf15f5a",
          "sha256": "eb3d1f20e9d65b48659831c02268af5b3a6fafd97574424d814bc1f6e3b883df",
          "sha1": "4b8872a75296cdd0c3bc063c11eade2d6115c44e",
          "md5": "fecbf6da2dabd2241927f964ffc8eec2"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "dependencies": [
        {
          "group": "net.java.dev.jna",
          "module": "jna",
          "version": {
            "requires": "5.19.1"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-darwin-aarch64",
          "version": {
            "requires": "4.16.0"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-linux-aarch64",
          "version": {
            "requires": "4.16.0"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-linux-x86-64",
          "version": {
            "requires": "4.16.0"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-win32-x86-64",
          "version": {
            "requires": "4.16.0"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-z3-solver-4.16.0.jar",
          "url": "refinery-z3-solver-4.16.0.jar",
          "size": 215354,
          "sha512": "3c9bcdc0cc139755bc9bee86437b4b39ea61957e28e83abc892c93f972a8376b99477e2f367aaedce59f45d9fb0cf5fc0dbd0f8f072537b41e6fdde0abf15f5a",
          "sha256": "eb3d1f20e9d65b48659831c02268af5b3a6fafd97574424d814bc1f6e3b883df",
          "sha1": "4b8872a75296cdd0c3bc063c11eade2d6115c44e",
          "md5": "fecbf6da2dabd2241927f964ffc8eec2"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-4.16.0-javadoc.jar",
          "url": "refinery-z3-solver-4.16.0-javadoc.jar",
          "size": 4539753,
          "sha512": "d180959a46a111470c6a517635502acef05fb891fed0d1575b54db9203c215700b46955a9ce61e01a3f1c58cc062c62e22f89ef0e82f407d3db7268181b33d68",
          "sha256": "22715a9a9a60b0bd30344410f8963da570afc2945b65e1b133b11aab487d3e94",
          "sha1": "7913ff3723a5c9ce3122538cb44b189f74268295",
          "md5": "9034077ffe83467cdf1d48d7d3ad07d3"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-z3-solver-4.16.0-sources.jar",
          "url": "refinery-z3-solver-4.16.0-sources.jar",
          "size": 107960,
          "sha512": "a7643b24bc4025279c75ceb2bedc0c3f625da28904492ce6fc5cafb29d75048e144728cdc34624365e92b7a7b99eefeb06a4ab6f90ab9f557867631f6d49c2ff",
          "sha256": "2cccbf1361df9513dc333d03ed3da17a427fc27184860d27639e0387d53f719b",
          "sha1": "bdaab327184d70f97b39145c5f1337b779e0ce9a",
          "md5": "b4cdeee8c46b4d4c232249446d4e8102"
        }
      ]
    }
  ]
}