{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.9"
    }
  },
  "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"
      },
      "dependencies": [
        {
          "group": "tools.refinery",
          "module": "refinery-bom-dependencies",
          "version": {
            "requires": "0.1.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.0"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.0.jar",
          "url": "refinery-store-reasoning-smt-0.1.0.jar",
          "size": 1685,
          "sha512": "48fdabb8410d896b87682a34bce130f4eb13b64bba1c341f46aa5acc20cb4bd0761b1cdccda2ed6bd0f99aee5e7ae3885403d068e8086e8496fc0f63e07dfc59",
          "sha256": "a17c60ba4f5d2769fcc5ada646c5b4d645a524d75d1066bff2a23b621bf9d2fb",
          "sha1": "14046d7814276f8d0f8fb157745c2c62670e09cc",
          "md5": "8abf15a69a563ce914d16c35d9118de0"
        }
      ]
    },
    {
      "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": "tools.refinery.z3",
          "module": "refinery-z3-solver",
          "version": {
            "requires": "4.12.6"
          }
        },
        {
          "group": "tools.refinery",
          "module": "refinery-bom-dependencies",
          "version": {
            "requires": "0.1.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.0"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.0.jar",
          "url": "refinery-store-reasoning-smt-0.1.0.jar",
          "size": 1685,
          "sha512": "48fdabb8410d896b87682a34bce130f4eb13b64bba1c341f46aa5acc20cb4bd0761b1cdccda2ed6bd0f99aee5e7ae3885403d068e8086e8496fc0f63e07dfc59",
          "sha256": "a17c60ba4f5d2769fcc5ada646c5b4d645a524d75d1066bff2a23b621bf9d2fb",
          "sha1": "14046d7814276f8d0f8fb157745c2c62670e09cc",
          "md5": "8abf15a69a563ce914d16c35d9118de0"
        }
      ]
    },
    {
      "name": "javadocElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "javadoc",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.0-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.0-javadoc.jar",
          "size": 92724,
          "sha512": "c81d9244587c167d5bb5bfff72e48e76f6135d5fe318082c9fc38b887845bb3cef6e9b10a0e2ae671cc55abf43ae33e748b2ba937731ac0294b8fa1e942e7015",
          "sha256": "7a175ac6dd625984be75db67b7757b25a0a82aec166097c599e87ecc4144e0dc",
          "sha1": "07548ce3c98f9c11948727345f55a2c641e9b6f0",
          "md5": "0caa385c49912f9d519a9dcec8143281"
        }
      ]
    },
    {
      "name": "sourcesElements",
      "attributes": {
        "org.gradle.category": "documentation",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.docstype": "sources",
        "org.gradle.usage": "java-runtime"
      },
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.0-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.0-sources.jar",
          "size": 1334,
          "sha512": "120a1b83d96b4eab90202279720677c3a76a46f7d6f8bee830f43eff03cbf2385f7ab1540e8c2aee9cb043a9a88d7d5dff6c7d15cb48af410d17ec455d254545",
          "sha256": "a08a6779570138eea26155efd2d7768327bb2ec84b63abfce91e52fa3c584218",
          "sha1": "dd4ba514cb557b2c7eadb6dfcd98e711d00fd249",
          "md5": "1d2dc3656d7c277ccdfbea7ff32d08f6"
        }
      ]
    }
  ]
}