[package]
name = "oxidd-manager-pointer"
version = "0.4.0"
edition = "2021"
description = "Pointer-based manager implementation for OxiDD"
readme = "../../README.md"

authors.workspace = true
license.workspace = true
homepage.workspace = true
repository.workspace = true


[dependencies]
oxidd-core.workspace = true

arcslab.workspace = true

# strict provenance polyfill
# (TODO: remove this once the `strict_provenance` feature becomes stable)
sptr = "0.3"

# fast alternative Mutex & RwLock implementation
parking_lot = "0.12"

# hash table for the unique table
linear-hashtbl.workspace = true

# fast hash function
#
# Note that there is a performance regression with 2.0, see
# https://github.com/rust-lang/rustc-hash/issues/45
rustc-hash = "1.1"

# bit vectors
bitvec = "1"

# thread pool
rayon = "1.10"


[features]
default = []

## Check that `Edge` is never dropped via its `Drop` implementation. This is
## done by adding a function call to a non-existing external function to the
## `Drop` implementation. So if the check fails, there will be a weird linker
## error. Using this feature in unoptimized builds may cause false positives.
static_leak_check = []