[badges.codecov]
repository = "sybila/biodivine-lib-bdd"
[badges.maintenance]
status = "actively-developed"
[badges.travis-ci]
repository = "sybila/biodivine-lib-bdd"
[dependencies.fxhash]
version = "0.2.1"
[dependencies.num-bigint]
version = "0.4.4"
[dependencies.rand]
version = "0.8.5"
[dependencies.serde]
features = ["derive"]
optional = true
version = "1.0"
[features]
default = []
serde = ["dep:serde"]
[package]
authors = ["Samuel Pastva <daemontus@gmail.com>"]
categories = ["data-structures", "mathematics", "science"]
description = "A simple thread-safe implementation of basic binary decision diagrams."
edition = "2021"
homepage = "https://github.com/sybila/biodivine-lib-bdd"
keywords = ["bdd", "boolean-expression", "symbolic"]
license = "MIT"
name = "biodivine-lib-bdd"
readme = "README.md"
repository = "https://github.com/sybila/biodivine-lib-bdd"
version = "0.5.17"
[package.metadata.docs.rs]
rustdoc-args = ["--html-in-header", "./res/docs-head.html"]