Cargo.toml

[package]
name = "obddimal"
version = "0.1.0"
edition = "2021"
default-run = "obddimal"

[profile.bench]
debug = true

[profile.release]
debug = true

[lib]
name = "obddimal"
path = "src/lib.rs"
bench = false

[[bin]]
name = "obddimal"
path = "src/main.rs"
bench = false

[[bin]]
name = "testcase_generation"
path = "src/testcase_generation.rs"
bench = false

[[bench]]
name = "obddimal_benches"
harness = false

[dependencies]
# https://crates.io/crates/num-bigint
num-bigint = { version = "0.4" }
# https://crates.io/crates/num-traits
num-traits = { version = "0.2" }
regex = { version = "1.5" }
rustc-hash = { version = "1.0" }
rand = "0.8"
log = "0.4"
env_logger = "0.9"
concat-idents = "1.1.3"
bitvec = "1.0.1"
indicatif = "0.17.0"
console = "0.15.1"
crossterm = "0.25.0"
enum_dispatch = "0.3.8"
fnv = "1.0.3"

[dev-dependencies]
criterion = { version = "0.3", features = ["html_reports"] }