package-lock.json

{
  "name": "aoc-2023",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "aoc-2023",
      "version": "1.0.0",
      "license": "ISC",
      "dependencies": {
        "heap": "^0.2.7",
        "z3-solver": "^4.12.4"
      }
    },
    "node_modules/async-mutex": {
      "version": "0.3.2",
      "resolved": "https://registry.npmjs.org/async-mutex/-/async-mutex-0.3.2.tgz",
      "integrity": "sha512-HuTK7E7MT7jZEh1P9GtRW9+aTWiDWWi9InbZ5hjxrnRa39KS4BW04+xLBhYNS2aXhHUIKZSw3gj4Pn1pj+qGAA==",
      "dependencies": {
        "tslib": "^2.3.1"
      }
    },
    "node_modules/heap": {
      "version": "0.2.7",
      "resolved": "https://registry.npmjs.org/heap/-/heap-0.2.7.tgz",
      "integrity": "sha512-2bsegYkkHO+h/9MGbn6KWcE45cHZgPANo5LXF7EvWdT0yT2EguSVO1nDgU5c8+ZOPwp2vMNa7YFsJhVcDR9Sdg=="
    },
    "node_modules/tslib": {
      "version": "2.6.2",
      "resolved": "https://registry.npmjs.org/tslib/-/tslib-2.6.2.tgz",
      "integrity": "sha512-AEYxH93jGFPn/a2iVAwW87VuUIkR1FVUKB77NwMF7nBTDkDrrT/Hpt/IrCJ0QXhW27jTBDcf5ZY7w6RiqTMw2Q=="
    },
    "node_modules/z3-solver": {
      "version": "4.12.4",
      "resolved": "https://registry.npmjs.org/z3-solver/-/z3-solver-4.12.4.tgz",
      "integrity": "sha512-B9ymul40bvtGSW0OQYfcYan1EhGm0JV/HgbO24JikIhuEOUv2+mdcOVd4V3q89UOx2mA0MOv+6d5msVF+/yJ6g==",
      "dependencies": {
        "async-mutex": "^0.3.2"
      },
      "engines": {
        "node": ">=16"
      }
    }
  }
}