{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.5",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.13"
    }
  },
  "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.5"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.5"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.5.jar",
          "url": "refinery-store-reasoning-smt-0.1.5.jar",
          "size": 1688,
          "sha512": "e15ba5f409ef17bdd8c65b9d4c6750cd0cd08848b02cb400eaff44eb59d7f6cc426172460c8c3bd92c304532f2645bfe29c9e0824c4cbd24c3a377d3f3bb50a0",
          "sha256": "5b8e0963a58ed560c3f567ba0f5516c9710a6b52cb64c56f3167e84cea4444b0",
          "sha1": "19a9206a42e502bbdd78be2e52ab14c6e3b7600b",
          "md5": "874cd0a153efd762e63c595d170d7f81"
        }
      ]
    },
    {
      "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.5"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.5"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.5.jar",
          "url": "refinery-store-reasoning-smt-0.1.5.jar",
          "size": 1688,
          "sha512": "e15ba5f409ef17bdd8c65b9d4c6750cd0cd08848b02cb400eaff44eb59d7f6cc426172460c8c3bd92c304532f2645bfe29c9e0824c4cbd24c3a377d3f3bb50a0",
          "sha256": "5b8e0963a58ed560c3f567ba0f5516c9710a6b52cb64c56f3167e84cea4444b0",
          "sha1": "19a9206a42e502bbdd78be2e52ab14c6e3b7600b",
          "md5": "874cd0a153efd762e63c595d170d7f81"
        }
      ]
    },
    {
      "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.5-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.5-javadoc.jar",
          "size": 91761,
          "sha512": "aca26935ce5b91ce7ef7d8096818d7401d362213c55894dbd4cb34f27b117b2b1fb55947de3092121c56fcf1cf5aaf164dab90a47275f0683b64ffba34d21293",
          "sha256": "f8985842b720cce945362056d4226a76c0d926480525f0c4ba3105e4338a9237",
          "sha1": "6595c48ec1d357173cff1bb595037e33f7413b89",
          "md5": "2cc71e229896d746989535c9acfdc62f"
        }
      ]
    },
    {
      "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.5-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.5-sources.jar",
          "size": 1334,
          "sha512": "f0da6070fcb910d55bc8eab3ea3e2f01bc938dfcddedd0d34a863593905f272a1d8a0d194d0eaea5bd2e48b5890ead2990e671bcb59925813c2a862d77c9e4ab",
          "sha256": "3b5528e7f80c001eba92f504c5bac628198ed0b24665a0f4231f5f043ff6e2da",
          "sha1": "41799aaa546ee41b22ef6e902bf6c75f7a8a15a3",
          "md5": "1ad767c965286a16379ff8890363287c"
        }
      ]
    }
  ]
}