{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.4",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "8.11.1"
    }
  },
  "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.4"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.4"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.4.jar",
          "url": "refinery-store-reasoning-smt-0.1.4.jar",
          "size": 1687,
          "sha512": "21d93b20948b269497015f3021dcc9a98f57a568dc96ee9d4edcdc4891acabb20b78598329ff6136fbc1b94513d56125073fc3034fe8fb7ffc1ae99319ef22ea",
          "sha256": "795b1a56f1aa25abb98c72d5817c83fbe0d007522d73075b4d463b946cc369e6",
          "sha1": "11de8aadb07c54d8293fd6861ab774172cd90b38",
          "md5": "0f148b196abb5a9bdbbd871bca2b7ce0"
        }
      ]
    },
    {
      "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.4"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.4"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.4.jar",
          "url": "refinery-store-reasoning-smt-0.1.4.jar",
          "size": 1687,
          "sha512": "21d93b20948b269497015f3021dcc9a98f57a568dc96ee9d4edcdc4891acabb20b78598329ff6136fbc1b94513d56125073fc3034fe8fb7ffc1ae99319ef22ea",
          "sha256": "795b1a56f1aa25abb98c72d5817c83fbe0d007522d73075b4d463b946cc369e6",
          "sha1": "11de8aadb07c54d8293fd6861ab774172cd90b38",
          "md5": "0f148b196abb5a9bdbbd871bca2b7ce0"
        }
      ]
    },
    {
      "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.4-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.4-javadoc.jar",
          "size": 91761,
          "sha512": "9658950961020add6bc5fe6e828c23fc7c12fbe1d863974576fa6ef367c98ad0dd6fd445fb891fb3964f09bb9873bca3d5dbc68f6624072ff0fbee02715e99b5",
          "sha256": "06f426fba441bb457c41dc29d3119adf4d9fb2d96c7d0e64498e5f86911e625a",
          "sha1": "eeec3b428ce7a6712d7a7f04eee10817f6f2d16b",
          "md5": "900cf8f2a6fff7dfc349905d13240b90"
        }
      ]
    },
    {
      "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.4-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.4-sources.jar",
          "size": 1334,
          "sha512": "5fff0a855e4dd4c9e8538789aa3c5544a7bcd53dd4f6da086ff75ee40cba2195af1fba4971d1d2f72753c9b286f59fed5101e5a5abfd97930ebef96fe4c01ea5",
          "sha256": "0c9bf8dabf7df3848efc95cc72e0bbe78d872a3efe654007d2b51aa082a61a51",
          "sha1": "c29fa7fb2947a6078eaad12dedb829dc7878d216",
          "md5": "7f594a6f1cde3f9204d5aab48b515db7"
        }
      ]
    }
  ]
}