{
  "cksum": "80325f9759e2af25d7f6c8253c741f650d183839e336d367e0d35473a898d0de",
  "crate_file": "pumpkin-solver-0.2.2.crate",
  "crate_url": "https://static.crates.io/crates/pumpkin-solver/pumpkin-solver-0.2.2.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "build",
      "name": "cc",
      "optional": false,
      "req": "^1.1.30",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": false,
      "req": "^4.5.17",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "env_logger",
      "optional": false,
      "req": "^0.10.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "flatzinc",
      "optional": false,
      "req": "^0.3.21",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "log",
      "optional": false,
      "req": "^0.4.27",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "clap"
      ],
      "kind": "normal",
      "name": "pumpkin-core",
      "optional": false,
      "req": "^0.2.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "signal-hook",
      "optional": false,
      "req": "^0.3.18",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "thiserror",
      "optional": false,
      "req": "^2.0.12",
      "target": null
    }
  ],
  "features": {
    "debug-checks": [
      "pumpkin-core/debug-checks"
    ],
    "default": [
      "gzipped-proofs"
    ],
    "gzipped-proofs": [
      "pumpkin-core/gzipped-proofs"
    ]
  },
  "index_path": "pu/mp/pumpkin-solver",
  "name": "pumpkin-solver",
  "pubtime": "2025-11-10T12:26:01Z",
  "vers": "0.2.2",
  "yanked": false
}