{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.1",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.10.2"
    }
  },
  "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.1"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.1"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.1.jar",
          "url": "refinery-store-reasoning-smt-0.1.1.jar",
          "size": 1686,
          "sha512": "91f11cf624513f3a09c784599f57cf5108330270d1401a586f700976c10f03ef91f3ce7cc71c701c69fb716199d49b98f1363631d86f5926355c4d3d8d539386",
          "sha256": "47ac0e78b9163bf8806a76e61c20e0ba17e32ee8415d90466ce1d384f9030b4d",
          "sha1": "18226f37fa26c8114f60ef5f766b5c49b98f425c",
          "md5": "56e2ce0d547ac3c925c463ed121f4484"
        }
      ]
    },
    {
      "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.1"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.1"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.1.jar",
          "url": "refinery-store-reasoning-smt-0.1.1.jar",
          "size": 1686,
          "sha512": "91f11cf624513f3a09c784599f57cf5108330270d1401a586f700976c10f03ef91f3ce7cc71c701c69fb716199d49b98f1363631d86f5926355c4d3d8d539386",
          "sha256": "47ac0e78b9163bf8806a76e61c20e0ba17e32ee8415d90466ce1d384f9030b4d",
          "sha1": "18226f37fa26c8114f60ef5f766b5c49b98f425c",
          "md5": "56e2ce0d547ac3c925c463ed121f4484"
        }
      ]
    },
    {
      "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.1-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.1-javadoc.jar",
          "size": 92724,
          "sha512": "719ce052a31bfbdb86adf483fe4533e3f3a95c75799a29ee05c7f393c794ce1870c5e5682492460abf2da7275d406de2dc865e1b742315ca8ded24934fc7cd0f",
          "sha256": "00c0399bee36616146595daf96dc9b908189ca05e5a47ad91c73c5fba813ff12",
          "sha1": "9c56b938606b97fb6c64f289132beced83c7b6c1",
          "md5": "1912f4264f82de0f475d224f063c92f5"
        }
      ]
    },
    {
      "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.1-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.1-sources.jar",
          "size": 1334,
          "sha512": "c3029b0c8de54249c3e935db56050c01f2ee7de316af150a48f0cbd5a95e63fcf65b1714ab486479f47f402b78a47961b6e828712971219383943c2b3d08b8f3",
          "sha256": "c9538394cd0015875d9574f48e5eaa5d052a6b1b314c8bf86c8b1fa3ecb44051",
          "sha1": "210d0cfe2e4924bcb33e111906f4cc79bcd34df2",
          "md5": "ddec5bd7c05aced532284dd8afc00643"
        }
      ]
    }
  ]
}