[package]
name = "oxidd-cli"
version = "0.2.5"
edition = "2021"
description = "Command line interface for OxiDD"
readme = "../../README.md"
keywords = ["decision-diagrams", "bdd", "zbdd", "zdd"]
categories = ["command-line-utilities", "mathematics", "science"]

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


[dependencies]
oxidd = { workspace = true, features = ["bdd", "bcdd"] }
oxidd-core.workspace = true
oxidd-dump.workspace = true
oxidd-reorder.workspace = true
oxidd-parser = { workspace = true, features = ["load-file"] }

# command line argument parsing
clap = { version = "4", features = ["derive", "wrap_help"] }

# big integers
num-bigint = "0.4"

# 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"

parking_lot = "0.12" # fast alternative Mutex & RwLock implementation
rayon = "1.10"       # thread pools, parallel iterators etc.
bitvec = "1"

# statistics output
csv = "1.3.0"
serde = { version = "1.0.204", features = ["derive"] }

sysinfo = "0.30" # get available memory


[features]
default = ["manager-index", "multi-threading", "apply-cache-direct-mapped"]

## Use multi-threaded implementations of the apply algorithm
multi-threading = ["oxidd/multi-threading"]

## Use the index-based manager implementation
##
## This implementation is generally faster than the pointer-based
## implementation, but is more restricted: There is no possibility to reserve
## space for more nodes after the initial allocation and the total number of
## nodes is limited to 2³² nodes for BDDs/ZBDDs, or 2³¹ nodes for BCDDs.
manager-index = ["oxidd/manager-index"]

## Use the pointer-based manager implementation (suitable for BDDs/ZBDDs with
## more than 2³² nodes, or BCDDs with more than 2³¹ nodes)
##
## If both `manager-index` and `manager-pointer` are specified, the
## pointer-based implementation will be used.
manager-pointer = ["oxidd/manager-pointer"]

## Enable the direct mapped apply cache
apply-cache-direct-mapped = ["oxidd/apply-cache-direct-mapped"]

## Enable statistics (will harm performance)
statistics = ["oxidd/statistics"]

# Uncomment this for releases, see https://github.com/rust-lang/cargo/issues/8264
[profile.release]
panic = "abort"