{
  "formatVersion": "1.1",
  "component": {
    "group": "tools.refinery",
    "module": "refinery-store-reasoning-smt",
    "version": "0.3.0",
    "attributes": {
      "org.gradle.status": "release"
    }
  },
  "createdBy": {
    "gradle": {
      "version": "9.4.1"
    }
  },
  "variants": [
    {
      "name": "apiElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "org.gradle.libraryelements": "jar",
        "org.gradle.usage": "java-api"
      },
      "dependencies": [
        {
          "group": "tools.refinery",
          "module": "refinery-bom-dependencies",
          "version": {
            "requires": "0.3.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.3.0"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.3.0.jar",
          "url": "refinery-store-reasoning-smt-0.3.0.jar",
          "size": 1686,
          "sha512": "b010d02ed66843f5f9f205f25a3d9a274b4788143b623890c385f94f997777651bcfec119b61c07bfaeaafa802cc5f9606400713e54115a2cc69b57d8789e947",
          "sha256": "27be06a5a8d8e5ee3c52321db12bb7985ec578601f73cbd13500393880441a90",
          "sha1": "becd19e5fb89a56fa8ee5e32bbc41af6839d35b4",
          "md5": "f9a8c798361ecdef1d231b3ac956a0bc"
        }
      ]
    },
    {
      "name": "runtimeElements",
      "attributes": {
        "org.gradle.category": "library",
        "org.gradle.dependency.bundling": "external",
        "org.gradle.jvm.version": 25,
        "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.3.0"
          },
          "attributes": {
            "org.gradle.category": "platform"
          },
          "endorseStrictVersions": true
        },
        {
          "group": "tools.refinery",
          "module": "refinery-store-reasoning",
          "version": {
            "requires": "0.3.0"
          }
        }
      ],
      "files": [
        {
          "name": "refinery-store-reasoning-smt-0.3.0.jar",
          "url": "refinery-store-reasoning-smt-0.3.0.jar",
          "size": 1686,
          "sha512": "b010d02ed66843f5f9f205f25a3d9a274b4788143b623890c385f94f997777651bcfec119b61c07bfaeaafa802cc5f9606400713e54115a2cc69b57d8789e947",
          "sha256": "27be06a5a8d8e5ee3c52321db12bb7985ec578601f73cbd13500393880441a90",
          "sha1": "becd19e5fb89a56fa8ee5e32bbc41af6839d35b4",
          "md5": "f9a8c798361ecdef1d231b3ac956a0bc"
        }
      ]
    },
    {
      "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.3.0-javadoc.jar",
          "url": "refinery-store-reasoning-smt-0.3.0-javadoc.jar",
          "size": 4146332,
          "sha512": "91321b0d0e09b749a2b49fcc79cc43cc36b2aea9ced08372355b01d2badb420a621b7c51a7c401b942595e52be6762ff46a33aa4893c0196312c1d7e967642d8",
          "sha256": "c3eb6d2eba552e6c91489bf6e5ce6484874a277dbb4d289b570782c917e12d02",
          "sha1": "54c9520dece35df29367d9d639c13c2212df95db",
          "md5": "53b1d2d159b6ffaca85e76bfb3e9c162"
        }
      ]
    },
    {
      "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.3.0-sources.jar",
          "url": "refinery-store-reasoning-smt-0.3.0-sources.jar",
          "size": 1334,
          "sha512": "eef098eb00adb80c8db01bdb053181cb7b34a25fcbd3848d757c53311c718b7431d639d4f974e893421507dbb098c51ba6345aec28085c399bf473d0212e19a6",
          "sha256": "b259affa6a813c3e93fbcca66fa91898840019b22671395693c76ca2040e5046",
          "sha1": "31acdfe48de71273dc84555c6f65b3f60759b22d",
          "md5": "16329cd13a59a24f301e03879895ef67"
        }
      ]
    }
  ]
}