[package]
name = "biodivine-lib-bdd"
version = "0.5.22"
authors = ["Samuel Pastva <daemontus@gmail.com>"]
edition = "2021"
description = "A simple thread-safe implementation of basic binary decision diagrams."
homepage = "https://github.com/sybila/biodivine-lib-bdd"
repository = "https://github.com/sybila/biodivine-lib-bdd"
readme = "README.md"
keywords = ["bdd", "boolean-expression", "symbolic"]
categories = ["data-structures", "mathematics", "science"]
license = "MIT"
# Don't publish the test data with the package.
exclude = [ "res/test_expressions/*", "res/test_results/*" ]

[badges]
travis-ci = { repository = "sybila/biodivine-lib-bdd" }
codecov = { repository = "sybila/biodivine-lib-bdd" }
maintenance = { status = "actively-developed" }

[dependencies]
fxhash = "0.2.1"
rand = "0.8.5"
num-bigint = "0.4.6"
serde = { version = "1.0", optional = true, features = ["derive"] }

# Enable rich docs for some online docs autogen services.
[package.metadata.docs.rs]
rustdoc-args = ["--html-in-header", "./res/docs-head.html"]

[features]
default = []
serde   = ["dep:serde"]