{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery.z3",
    "module": "refinery-z3-solver",
    "version": "4.12.6",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.8"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "files": [
        {
          "name": "refinery-z3-solver-4.12.6.jar",
          "url": "refinery-z3-solver-4.12.6.jar",
          "size": 204758,
          "sha512": "93dc630816c3263ed1813477e4159a8912b705906fa2a594c6eeaf0c04025fed9821213acd01a96e4804a0c500a12faf6e4c86544d4646e9e85275b42555c208",
          "sha256": "8e5f9452de53494214e3a835c5518abc69e9c7e386e34f5e1362afe6cd299ab7",
          "sha1": "b46f77af102b94c8873d91b6dda7326bd28e60c3",
          "md5": "d8f058638e8ced29bb103f7fdd48c091"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 21,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-runtime"
      },
      "dependencies": [
        {
          "group": "net.java.dev.jna",
          "module": "jna",
          "version": {
            "requires": "5.14.0"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-darwin-aarch64",
          "version": {
            "requires": "4.12.6"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-darwin-x86-64",
          "version": {
            "requires": "4.12.6"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-linux-aarch64",
          "version": {
            "requires": "4.12.6"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-linux-x86-64",
          "version": {
            "requires": "4.12.6"
          }
        },
        {
          "group": "tools.refinery.z3",
          "module": "refinery-z3-solver-win32-x86-64",
          "version": {
            "requires": "4.12.6"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-z3-solver-4.12.6.jar",
          "url": "refinery-z3-solver-4.12.6.jar",
          "size": 204758,
          "sha512": "93dc630816c3263ed1813477e4159a8912b705906fa2a594c6eeaf0c04025fed9821213acd01a96e4804a0c500a12faf6e4c86544d4646e9e85275b42555c208",
          "sha256": "8e5f9452de53494214e3a835c5518abc69e9c7e386e34f5e1362afe6cd299ab7",
          "sha1": "b46f77af102b94c8873d91b6dda7326bd28e60c3",
          "md5": "d8f058638e8ced29bb103f7fdd48c091"
        }
      ]
    },
    {
      "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.12.6-javadoc.jar",
          "url": "refinery-z3-solver-4.12.6-javadoc.jar",
          "size": 439043,
          "sha512": "fa3e27bf4900ca715ab48175da28f57b735bb39af437f0bc6e85796b8de1c9fd0382e5253f7149f7f242e25b4bb131c00ad2bcf3da29754d4558aab52d330468",
          "sha256": "c53f2a516521943db33add4fc9e51b17704992d8890685c56e4af155ef55bd34",
          "sha1": "7c40b8a044f72a1269408930df65a300c322b93f",
          "md5": "2981196e0df2c2e11f291298e8e937e1"
        }
      ]
    },
    {
      "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.12.6-sources.jar",
          "url": "refinery-z3-solver-4.12.6-sources.jar",
          "size": 102125,
          "sha512": "7381b0ffabdbaa1bb5318be9b50438b5b010e3be869d61d9f81ecf8f4e33800b6cda10f1466837cd49acb9c500eb557ecb0b74762d11193bdcf2f56d483d8835",
          "sha256": "fe8d80c90b3d3f1a1135e7a406d5b08fc8ac8e012d1399d17745af1a6979315a",
          "sha1": "5d03ad2c64987e8a1c504c4e7f73b662355675bb",
          "md5": "3a617637629346a99b01941d96de520b"
        }
      ]
    }
  ]
}