{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.1.3",
    "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.3"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.3"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.3.jar",
          "url": "refinery-store-reasoning-smt-0.1.3.jar",
          "size": 1687,
          "sha512": "26a16ea5594192c9cdac2504192ec923b5a7a499ba244fe30495a856a315cf5a3de99785cc726b948790fc059aa2b7b2a1528cc93c671468ee134ef8cf97fb13",
          "sha256": "f65cc19ae9c77824d29887dad26f7f7170cf2c01433560fa45d3df0369495c2b",
          "sha1": "84d8ef1bd1c8d16c5a9b4a4f389a9548ba7b00b3",
          "md5": "cd1391fa7c4dfe8f94aaca3495cb9e50"
        }
      ]
    },
    {
      "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.3"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.1.3"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.1.3.jar",
          "url": "refinery-store-reasoning-smt-0.1.3.jar",
          "size": 1687,
          "sha512": "26a16ea5594192c9cdac2504192ec923b5a7a499ba244fe30495a856a315cf5a3de99785cc726b948790fc059aa2b7b2a1528cc93c671468ee134ef8cf97fb13",
          "sha256": "f65cc19ae9c77824d29887dad26f7f7170cf2c01433560fa45d3df0369495c2b",
          "sha1": "84d8ef1bd1c8d16c5a9b4a4f389a9548ba7b00b3",
          "md5": "cd1391fa7c4dfe8f94aaca3495cb9e50"
        }
      ]
    },
    {
      "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.3-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.1.3-javadoc.jar",
          "size": 91755,
          "sha512": "7e7aa2258f7dc4606df4276cf007275c607473903ef487b4792c5157f9727806a861d9bdc1e666681243be2977bf463a9cdcb084a386836991f73dab9be8ea48",
          "sha256": "c490854067cf1a114d407148659ffd37c387a49a4f2ff2658d965b87e6a777c1",
          "sha1": "95c47cd129a795b3ea1f732034af745b4d3af8dc",
          "md5": "61dc17756cd95336088c199c782c2dc4"
        }
      ]
    },
    {
      "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.3-sources.jar",
          "url": "refinery-store-reasoning-smt-0.1.3-sources.jar",
          "size": 1334,
          "sha512": "010d782b914b6ef1a9c3ddc6ec41bac76cae2fcbbc0cd60738c6fe9517a2a9f42dcb6ea0944e8a803b4aaa968ebcf21fadf26be07369ddfdfa11dee257ecae1b",
          "sha256": "86bfe55d9636ee9e5d20b1bee9901d822d8cb4d24f73211c92f7255db9af7f91",
          "sha1": "72c2c6e3d31c842d3d25f6759ba5270b7c389277",
          "md5": "9ea1b773a6974703a2e9af691a26ce24"
        }
      ]
    }
  ]
}