[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"
[dev-dependencies.rand]
version = "0.7"
[features]
shields_up = []
[package]
authors = ["Samuel Pastva <daemontus@gmail.com>"]
categories = ["data-structures", "mathematics", "science"]
description = "A simple thread-safe implementation of basic binary decision diagrams."
edition = "2018"
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.1.0"
[package.metadata.docs.rs]
rustdoc-args = ["--html-in-header", "./res/docs-head.html"]