{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.6",
    "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.6"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.6"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.6.jar",
          "url": "refinery-store-reasoning-smt-0.1.6.jar",
          "size": 1688,
          "sha512": "0d70b26ea197d08a1faeff594c5527111fa5f7378811b48a47e674b579a28d3d29ad09724d1115a650148aa52a9015691b4638b05d4c3dad0343441947e65f7b",
          "sha256": "ca3f6b9bbf4e44884510a6c5f175c790e30bddbf24292bf8e593e1cd37295184",
          "sha1": "1f22cdfd55d3c252969a3a48a4524a64c881ac7b",
          "md5": "3244c9e1cc7681636a515251c5a3447d"
        }
      ]
    },
    {
      "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.6"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.6"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.6.jar",
          "url": "refinery-store-reasoning-smt-0.1.6.jar",
          "size": 1688,
          "sha512": "0d70b26ea197d08a1faeff594c5527111fa5f7378811b48a47e674b579a28d3d29ad09724d1115a650148aa52a9015691b4638b05d4c3dad0343441947e65f7b",
          "sha256": "ca3f6b9bbf4e44884510a6c5f175c790e30bddbf24292bf8e593e1cd37295184",
          "sha1": "1f22cdfd55d3c252969a3a48a4524a64c881ac7b",
          "md5": "3244c9e1cc7681636a515251c5a3447d"
        }
      ]
    },
    {
      "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.6-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.6-javadoc.jar",
          "size": 91760,
          "sha512": "8a72ab38ea6dc53a7b1d6eed25084cf809b45679a05b2f059a85fad935dd44390180bfa7914bcef9de5fd10af9f797b09a4aff3c1aa690a58f3ad8dc3cde0d59",
          "sha256": "742620a5079f88aed632a24bda07e1d199c6287a1271dac0e0a9182e857fca57",
          "sha1": "3813e7c813ccf3a6c7709b2d195e628cc9de6d21",
          "md5": "0c3e9f6f018160af7294401cbc9f79b0"
        }
      ]
    },
    {
      "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.6-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.6-sources.jar",
          "size": 1334,
          "sha512": "fa9840ad9d524633bde005877b74f237237d871ea92792446e51ee3ef2734a96c1c75612106352b0034ab9f3cfaf8acde342dcbf68994c329c2ee6556a492117",
          "sha256": "71abfdbe1e05a60ddee4a68edfdec5eaa75bb95c9cb61d4ce5df56ddcf1a8d3d",
          "sha1": "accae13ce788b1b5716e47d2edfcda79207f5a95",
          "md5": "8c286aec52f4b51c3e773b0be93b7e8a"
        }
      ]
    }
  ]
}