{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.2",
    "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.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.2"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.2.jar",
          "url": "refinery-store-reasoning-smt-0.1.2.jar",
          "size": 1687,
          "sha512": "3f701900439cbec884e66eefa0412e6c35eca75f4866d2cac176b5dc5667d5635aad2a3bf35c201f5fa58f40d98503a3849f74206be6a1d2713ff4ddc08f3359",
          "sha256": "660433129532ddfa47ba7baf39b9adcc0295cb085b8e88e668886c2b23daff99",
          "sha1": "a8c362da19c2ad3d84a1894459cee134e27902df",
          "md5": "a15a0ef147d8c0b720efa2a2b0ba3f5b"
        }
      ]
    },
    {
      "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.2"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.2"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.2.jar",
          "url": "refinery-store-reasoning-smt-0.1.2.jar",
          "size": 1687,
          "sha512": "3f701900439cbec884e66eefa0412e6c35eca75f4866d2cac176b5dc5667d5635aad2a3bf35c201f5fa58f40d98503a3849f74206be6a1d2713ff4ddc08f3359",
          "sha256": "660433129532ddfa47ba7baf39b9adcc0295cb085b8e88e668886c2b23daff99",
          "sha1": "a8c362da19c2ad3d84a1894459cee134e27902df",
          "md5": "a15a0ef147d8c0b720efa2a2b0ba3f5b"
        }
      ]
    },
    {
      "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.2-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.2-javadoc.jar",
          "size": 91754,
          "sha512": "f5da7dee0e9534ae8aa2ad26e694d91a0f7b83772e079ab7498a2c7c9c6585f6d01d9e1f4cfea3462a93eeb507b186c4e2b68b7db79b735ef5e9f2a919d686da",
          "sha256": "731b765d1f16dbb5a6c79cb79d5950cade33344c279e4b9e6e6f3c7187c229d5",
          "sha1": "f76633ba508d623f535965551ab0c0a6d35d9a68",
          "md5": "e7b48beacd6c781b0867caf785bc741c"
        }
      ]
    },
    {
      "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.2-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.2-sources.jar",
          "size": 1334,
          "sha512": "58693c4e6022873ccda6a8d3395559f4b5b5e5c57ca634ce20ef381ee6e1466140bd72df18b5656e0840ecf85dbb6b6565d2be7e901486381b84bba07b0a5ab4",
          "sha256": "83243ef54c0574cb0b36a353d16cc911ec1d90e9514afbea6188612013e853ee",
          "sha1": "a21f1f47f1546a1066802597add747de0a77bd2f",
          "md5": "2d7830285c89b8a01eacefc975bea459"
        }
      ]
    }
  ]
}