{
  "cksum": "2074ca6e03ef6be3e6a16984efec53fff401c53f46382d6e2f2324971a8e9c17",
  "crate_file": "taco-bdd-0.1.0.crate",
  "crate_url": "https://static.crates.io/crates/taco-bdd/taco-bdd-0.1.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "cudd-sys",
      "optional": true,
      "req": "^1.1.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "libc",
      "optional": true,
      "req": "^0.2.177",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "libc-stdhandle",
      "optional": true,
      "req": "^0.1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "bdd",
        "bcdd",
        "dot-export",
        "multi-threading",
        "manager-index"
      ],
      "kind": "normal",
      "name": "oxidd",
      "optional": true,
      "req": "^0.11.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "dot"
      ],
      "kind": "normal",
      "name": "oxidd-dump",
      "optional": true,
      "req": "^0.6.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": true,
      "req": "^1.0.228",
      "target": null
    }
  ],
  "features": {},
  "features2": {
    "config_deserialize": [
      "dep:serde"
    ],
    "cudd": [
      "dep:cudd-sys",
      "dep:libc-stdhandle"
    ],
    "default": [
      "oxidd"
    ],
    "oxidd": [
      "dep:oxidd"
    ],
    "visualize": [
      "dep:oxidd-dump",
      "dep:libc"
    ]
  },
  "index_path": "ta/co/taco-bdd",
  "name": "taco-bdd",
  "pubtime": "2026-01-20T09:29:38Z",
  "v": 2,
  "vers": "0.1.0",
  "yanked": false
}